├── .gitignore ├── .vscode └── settings.json ├── readme.md ├── src ├── fm25 │ ├── full-maude25a.maude │ └── full-maude96b1.maude ├── fm26 │ ├── full-maude261f.maude │ ├── full-maude261g.maude │ └── full-maude261h.maude ├── fm27 │ ├── full-maude27.maude │ ├── full-maude27a.maude │ ├── full-maude27b.maude │ ├── full-maude27c.maude │ ├── full-maude27d.maude │ ├── full-maude27e.maude │ ├── full-maude27f.maude │ ├── full-maude27g.maude │ └── full-maude27h.maude ├── fm3 │ ├── full-maude3.maude │ ├── full-maude32.maude │ ├── full-maude321.maude │ ├── full-maude331.maude │ ├── full-maude351.maude │ └── full-maude3a.maude ├── fm31 │ ├── full-maude31.maude │ └── full-maude31a.maude ├── fmmi │ ├── configuration+.maude │ ├── full-maude-mi.maude │ ├── full-maude-processing-simplified.maude │ ├── full-maude-processing.maude │ ├── full-maude-syntax.maude │ ├── maybe.maude │ ├── move-down.maude │ ├── santiago.maude │ ├── tuples.maude │ └── views.maude └── mm0 │ ├── fm-banner.fm │ ├── maybe.maude │ ├── mini-maude-0.0-syntax.maude │ ├── mini-maude-0.0.maude │ ├── mini-maude-0.1-syntax.maude │ ├── mini-maude-0.1.maude │ ├── mini-maude-metainterpreter.maude │ └── mini-maude.maude ├── tests ├── bug-reports │ ├── Schuetz-Schmuck.fm │ ├── getVariants.txt │ ├── loadsmod.maude │ ├── metaPrettyPrintStrategy.maude │ ├── sorted-list-renaming.fm │ ├── sorted-list-renaming.maude │ └── sorted-set.maude ├── examples-chapter-narrowing.fm ├── examples-chapter-variants.maude ├── examples │ ├── marko.fm │ └── objects.maude ├── manual │ └── examples271 │ │ ├── +monoid.maude │ │ ├── 3nat.fm │ │ ├── account.fm │ │ ├── assoc-id-ex.fm │ │ ├── assoc-mb-exs.maude │ │ ├── associative-exs.maude │ │ ├── bag.maude │ │ ├── bank-account.maude │ │ ├── bank-manager.maude │ │ ├── basic-set.maude │ │ ├── bb-test.maude │ │ ├── buffered-socket.maude │ │ ├── buying-strats.maude │ │ ├── cell.fm │ │ ├── check-rrobin.fm │ │ ├── choice.maude │ │ ├── clock.maude │ │ ├── collapse-exs.maude │ │ ├── color-test.maude │ │ ├── comm-idem-ex.maude │ │ ├── data-agents-conf.maude │ │ ├── data-agents-interface.maude │ │ ├── data-agents-test.maude │ │ ├── data-agents.maude │ │ ├── extended-rent-a-car-store-test.fm │ │ ├── extended-rent-a-car-store.fm │ │ ├── factorial-client.maude │ │ ├── factorial-server.maude │ │ ├── factorial.maude │ │ ├── fibonacci.crc.fm │ │ ├── fibonacci.maude │ │ ├── fibonacci.mtt.fm │ │ ├── format-demo.maude │ │ ├── generic-set-list.fm │ │ ├── het-list.maude │ │ ├── http1.0-client.maude │ │ ├── id-unification-example.fm │ │ ├── int-gt-3.maude │ │ ├── iter-example.maude │ │ ├── iter-mb-exs.maude │ │ ├── last-append.fm │ │ ├── leftid-unification-example.fm │ │ ├── lex-pair.maude │ │ ├── maybe.fm │ │ ├── maybe.maude │ │ ├── metadata-ex.maude │ │ ├── metalevel-exs.maude │ │ ├── metaxmatch-ex.maude │ │ ├── mini-maude-syntax.maude │ │ ├── mini-maude.maude │ │ ├── monoid.maude │ │ ├── mutex-check.maude │ │ ├── mutex-preds.maude │ │ ├── mutex.maude │ │ ├── my-set-list.maude │ │ ├── naive-sorted-nat-list.maude │ │ ├── narrowing-vending-machine.fm │ │ ├── nat-list-max.maude │ │ ├── nat-modulo.fm │ │ ├── nat-mset-min.maude │ │ ├── nat-narrowing.maude │ │ ├── nat-plus.fm │ │ ├── nat3.maude │ │ ├── non-associative-ex.maude │ │ ├── nsposet.maude │ │ ├── nstoset.maude │ │ ├── numbers.maude │ │ ├── nznat#.fm │ │ ├── o-ticker-factory.maude │ │ ├── o-ticker.maude │ │ ├── only-book │ │ ├── 234trees.maude │ │ ├── 8-puzzle.fm │ │ ├── abstract-bakery-preds.crchc.fm │ │ ├── abstract-bakery-preds.maude │ │ ├── abstract-bakery.crchc.fm │ │ ├── abstract-bakery.maude │ │ ├── avl.maude │ │ ├── bakery-preds.crchc.fm │ │ ├── bakery-preds.maude │ │ ├── bakery.crchc.fm │ │ ├── bakery.maude │ │ ├── bank-account.maude │ │ ├── basic-nat-list.maude │ │ ├── basic-nat-mset.maude │ │ ├── basic-nat-ne-list.maude │ │ ├── basic-nat-set.maude │ │ ├── basic-nat-tree.maude │ │ ├── basic-nat.maude │ │ ├── basic-set.maude │ │ ├── bin-tree.maude │ │ ├── blackboard.maude │ │ ├── blocks-world.maude │ │ ├── buffered-socket.maude │ │ ├── chess-cover.maude │ │ ├── chips.maude │ │ ├── deadlock-free-mod-expr.maude │ │ ├── deadlock-freedom.maude │ │ ├── dekker.maude │ │ ├── df-abstract-bakery-check.fm │ │ ├── df-abstract-bakery-preds.fm │ │ ├── df-abstract-bakery.fm │ │ ├── df-bakery-preds.fm │ │ ├── df-bakery.fm │ │ ├── die-hard.maude │ │ ├── gen-tree.maude │ │ ├── idem-semigroups.maude │ │ ├── instrumentation-infrastructure.maude │ │ ├── instrumentation-test.maude │ │ ├── instrumentation.maude │ │ ├── josephus.maude │ │ ├── khun-phan.maude │ │ ├── leftist-trees.fm │ │ ├── library-petri-net.maude │ │ ├── list-cons.maude │ │ ├── list-kind.maude │ │ ├── maybe.maude │ │ ├── mobile-maude-centralized.maude │ │ ├── mobile-maude-distributed.maude │ │ ├── mobile-maude.maude │ │ ├── multiset.maude │ │ ├── naive-idem-semigroup.maude │ │ ├── nat-pred-kind.maude │ │ ├── nat-pred-sub.maude │ │ ├── nat-pred-super.maude │ │ ├── nsposet.maude │ │ ├── nstoset.maude │ │ ├── oo-blocks-world.fm │ │ ├── peano-int.maude │ │ ├── peano-nat.fm │ │ ├── peano-nat.maude │ │ ├── peano-rat.maude │ │ ├── poset.maude │ │ ├── printers-buyer.maude │ │ ├── printers-check.maude │ │ ├── printers-erew1.maude │ │ ├── printers-erew2.maude │ │ ├── printers-erew3.maude │ │ ├── printers-seller.maude │ │ ├── printers.maude │ │ ├── priority-pair.maude │ │ ├── priority-queue.maude │ │ ├── queue.maude │ │ ├── qval.maude │ │ ├── rabbit-hop.maude │ │ ├── rb-trees.maude │ │ ├── recoloring.maude │ │ ├── river-crossing-2.maude │ │ ├── river-crossing.maude │ │ ├── search-tree.maude │ │ ├── set-max.maude │ │ ├── sorted-list-kind.maude │ │ ├── sorted-list.maude │ │ ├── sposet.maude │ │ ├── spreadsheet.fm │ │ ├── spreedsheet-asynch.fm │ │ ├── stack.maude │ │ ├── stoset.maude │ │ ├── taoset.maude │ │ ├── toset.maude │ │ ├── tree-node.fm │ │ ├── u2.maude │ │ ├── unification-command.maude │ │ ├── unification.maude │ │ ├── untyped-lambda-calculus.maude │ │ ├── view-intasstoset.maude │ │ ├── view-intastoset.fm │ │ ├── view-intastoset.maude │ │ ├── view-intstringastoset.fm │ │ ├── view-intstringastoset.maude │ │ ├── view-nat<=.maude │ │ ├── view-natastoset.maude │ │ ├── view-node.fm │ │ ├── view-nstoset.maude │ │ ├── view-string<=.maude │ │ ├── view-stringastoset.maude │ │ └── view-toset.maude │ │ ├── oo-stack.fm │ │ ├── oo-stack2.fm │ │ ├── overloading-assoc-warning.maude │ │ ├── owise-test.maude │ │ ├── pair.maude │ │ ├── parsing-ex.maude │ │ ├── path.fm │ │ ├── path.maude │ │ ├── person-record.fm │ │ ├── pfun.fm │ │ ├── polynomial.fm │ │ ├── polynomial.maude │ │ ├── poset.maude │ │ ├── power-ex.fm │ │ ├── prelim-set.maude │ │ ├── print-attr-ambiguous.maude │ │ ├── print-attribute-ex.maude │ │ ├── procs-resources-enabled.maude │ │ ├── procs-resources.maude │ │ ├── readers-writers-abs.crchc.fm │ │ ├── readers-writers-abs.maude │ │ ├── readers-writers-preds.crchc.fm │ │ ├── readers-writers-preds.maude │ │ ├── readers-writers.maude │ │ ├── renaming-ex.maude │ │ ├── renaming-par.maude │ │ ├── rent-a-car-store-test.fm │ │ ├── rent-a-car-store.fm │ │ ├── rew-seq-extended-rent-a-car-store.fm │ │ ├── rew-seq-rent-a-car-store.fm │ │ ├── rew-seq-test.fm │ │ ├── rew-seq.fm │ │ ├── rightid-unification-example.fm │ │ ├── ring.maude │ │ ├── rrobin.fm │ │ ├── sampler.maude │ │ ├── sat-solver-test.maude │ │ ├── saving-account.fm │ │ ├── semiring.maude │ │ ├── set-kind.fm │ │ ├── set-list.maude │ │ ├── set-max.fm │ │ ├── set-max.maude │ │ ├── sieve.crc.fm │ │ ├── sieve.maude │ │ ├── simple-clock.maude │ │ ├── simple-nat.crc.fm │ │ ├── simple-nat.maude │ │ ├── simple-vending-machine.maude │ │ ├── sorted-list.maude │ │ ├── sorted-nat-list-kind.maude │ │ ├── sposet.maude │ │ ├── stoset.maude │ │ ├── strat-ex.maude │ │ ├── string-ops.maude │ │ ├── taoset.maude │ │ ├── ticker-factory.maude │ │ ├── ticker.maude │ │ ├── toset.maude │ │ ├── unification-ex.maude │ │ ├── unification-ex1.maude │ │ ├── unification-ex2.maude │ │ ├── unification-ex3.maude │ │ ├── up-down-test.maude │ │ ├── vending-machine-grammar.maude │ │ ├── vending-machine-interface.maude │ │ ├── vending-machine-signature.maude │ │ ├── vending-machine.maude │ │ ├── view-5.fm │ │ ├── view-account.fm │ │ ├── view-cid.fm │ │ ├── view-intasstoset.maude │ │ ├── view-intastoset.fm │ │ ├── view-intastoset.maude │ │ ├── view-natastoset.maude │ │ ├── view-oid.fm │ │ ├── view-poset.maude │ │ ├── view-posettotoset.maude │ │ ├── view-ring.maude │ │ ├── view-ringtorat.fm │ │ ├── view-ringtorat.maude │ │ ├── view-set.fm │ │ ├── view-sposettoint.maude │ │ ├── view-stringastoset.maude │ │ ├── view-substitution.fm │ │ ├── view-toset.fm │ │ ├── view-toset.maude │ │ ├── view-tuple.fm │ │ ├── wrong-nat-set.maude │ │ └── xmatch-test.maude ├── narrowing.fm ├── output-fm261.txt ├── output-fm27.txt ├── pruebas │ ├── a.fm │ ├── basic-nat-list.fm │ ├── builtin-renaming.maude │ ├── db.maude │ ├── exa-search.maude │ ├── gen-tree.fm │ ├── gen-tree.maude │ ├── getVariants-my-nat-set.fm │ ├── getVariants-my-nat.fm │ ├── id-rm-test.maude │ ├── imports-in-metamodules.maude │ ├── list-cons.maude │ ├── list-test.fm │ ├── load-command-2.fm │ ├── load-command-owise-metadata.fm │ ├── load-command.fm │ ├── lone-assoc-rm-test.maude │ ├── machine-int-test.fm │ ├── machine-int-test.maude │ ├── machine-search.fm │ ├── mb-label.fm │ ├── mb-test.maude │ ├── meta-mb.maude │ ├── moch.maude │ ├── more-general.maude │ ├── ocl.maude │ ├── parameterization-renaming.maude │ ├── pita.fm │ ├── prec-gather-bug.maude │ ├── print-attr-ambiguous.fm │ ├── print-attr-ambiguous.maude │ ├── print-attr-nonambiguous.fm │ ├── print-attr-nonambiguous.maude │ ├── print-attribute-ex.fm │ ├── print-attribute.maude │ ├── prueba-xml.maude │ ├── renombramiento-ops-parciales.fm │ ├── salida.xml │ ├── search-commands.fm │ ├── search_such_that_bool.maude │ ├── search_with_vbles.maude │ ├── serbanuta.fm │ ├── show-all-full-maude.fm │ ├── summation-core-maude-modules.fm │ ├── term-set.maude │ ├── thunif.maude │ ├── trash.maude │ ├── trash2.maude │ ├── triple-list.fm │ ├── unification.fm │ ├── unification.maude │ ├── universal.maude │ └── vistas-parametrizadas.fm ├── run-all-tests.fm ├── sample-files-2.7 │ ├── +monoid.maude │ ├── .DS_Store │ ├── 3nat.crc.fm │ ├── 3nat.maude │ ├── _README │ ├── account.fm │ ├── agent-test.maude │ ├── assoc-id-ex.maude │ ├── assoc-mb-exs.maude │ ├── associative-exs.maude │ ├── bag.maude │ ├── bank-account.maude │ ├── bank-manager.maude │ ├── basic-set.maude │ ├── bb-test.maude │ ├── buffered-socket.maude │ ├── buying-strats.maude │ ├── cell.fm │ ├── check-rrobin.fm │ ├── choice.maude │ ├── clock.maude │ ├── collapse-exs.maude │ ├── color-test.maude │ ├── comm-idem-ex.maude │ ├── data-agents-conf.maude │ ├── data-agents-interface.maude │ ├── data-agents.maude │ ├── extended-rent-a-car-store-test.fm │ ├── extended-rent-a-car-store.fm │ ├── factorial-client.maude │ ├── factorial-server.maude │ ├── factorial.maude │ ├── fibonacci.crc.fm │ ├── fibonacci.maude │ ├── fibonacci.mtt.fm │ ├── format-demo.maude │ ├── generic-set-list.fm │ ├── het-list.maude │ ├── http1.0-client.maude │ ├── id-unification-example.fm │ ├── int-gt-3.maude │ ├── iter-example.maude │ ├── iter-mb-exs.maude │ ├── last-append.fm │ ├── leftid-unification-example.fm │ ├── lex-pair.maude │ ├── maybe.fm │ ├── maybe.maude │ ├── membership.fm │ ├── metadata-ex.maude │ ├── metalevel-exs.maude │ ├── metaxmatch-ex.maude │ ├── mini-maude-syntax.maude │ ├── mini-maude.maude │ ├── monoid.maude │ ├── mutex-check.maude │ ├── mutex-preds.maude │ ├── mutex.maude │ ├── my-set-list.maude │ ├── naive-sorted-nat-list.maude │ ├── narrowing-vending-machine.fm │ ├── narrowing-vm-notop.fm │ ├── nat-list-max.maude │ ├── nat-modulo.fm │ ├── nat-mset-min.maude │ ├── nat-narrowing.maude │ ├── nat-plus.fm │ ├── nat3.maude │ ├── non-associative-ex.maude │ ├── nsposet.maude │ ├── nstoset.maude │ ├── numbers.maude │ ├── nznat#.fm │ ├── o-ticker-factory.maude │ ├── o-ticker.maude │ ├── only-book │ │ ├── 234trees.maude │ │ ├── 8-puzzle.fm │ │ ├── abstract-bakery-preds.crchc.fm │ │ ├── abstract-bakery-preds.maude │ │ ├── abstract-bakery.crchc.fm │ │ ├── abstract-bakery.maude │ │ ├── avl.maude │ │ ├── bakery-preds.crchc.fm │ │ ├── bakery-preds.maude │ │ ├── bakery.crchc.fm │ │ ├── bakery.maude │ │ ├── bank-account.maude │ │ ├── basic-nat-list.maude │ │ ├── basic-nat-mset.maude │ │ ├── basic-nat-ne-list.maude │ │ ├── basic-nat-set.maude │ │ ├── basic-nat-tree.maude │ │ ├── basic-nat.maude │ │ ├── basic-set.maude │ │ ├── bin-tree.maude │ │ ├── blackboard.maude │ │ ├── blocks-world.maude │ │ ├── buffered-socket.maude │ │ ├── chess-cover.maude │ │ ├── chips.maude │ │ ├── deadlock-free-mod-expr.maude │ │ ├── deadlock-freedom.maude │ │ ├── dekker.maude │ │ ├── df-abstract-bakery-check.fm │ │ ├── df-abstract-bakery-preds.fm │ │ ├── df-abstract-bakery.fm │ │ ├── df-bakery-preds.fm │ │ ├── df-bakery.fm │ │ ├── die-hard.maude │ │ ├── gen-tree.maude │ │ ├── idem-semigroups.maude │ │ ├── instrumentation-infrastructure.maude │ │ ├── instrumentation-test.maude │ │ ├── instrumentation.maude │ │ ├── josephus.maude │ │ ├── khun-phan.maude │ │ ├── leftist-trees.fm │ │ ├── library-petri-net.maude │ │ ├── list-cons.maude │ │ ├── list-kind.maude │ │ ├── maybe.maude │ │ ├── mobile-maude-centralized.maude │ │ ├── mobile-maude-distributed.maude │ │ ├── mobile-maude.maude │ │ ├── multiset.maude │ │ ├── naive-idem-semigroup.maude │ │ ├── nat-pred-kind.maude │ │ ├── nat-pred-sub.maude │ │ ├── nat-pred-super.maude │ │ ├── nsposet.maude │ │ ├── nstoset.maude │ │ ├── oo-blocks-world.fm │ │ ├── peano-int.maude │ │ ├── peano-nat.fm │ │ ├── peano-nat.maude │ │ ├── peano-rat.maude │ │ ├── poset.maude │ │ ├── printers-buyer.maude │ │ ├── printers-check.maude │ │ ├── printers-erew1.maude │ │ ├── printers-erew2.maude │ │ ├── printers-erew3.maude │ │ ├── printers-seller.maude │ │ ├── printers.maude │ │ ├── priority-pair.maude │ │ ├── priority-queue.maude │ │ ├── queue.maude │ │ ├── qval.maude │ │ ├── rabbit-hop.maude │ │ ├── rb-trees.maude │ │ ├── recoloring.maude │ │ ├── river-crossing-2.maude │ │ ├── river-crossing.maude │ │ ├── search-tree.maude │ │ ├── set-max.maude │ │ ├── sorted-list-kind.maude │ │ ├── sorted-list.maude │ │ ├── sposet.maude │ │ ├── spreadsheet.fm │ │ ├── spreedsheet-asynch.fm │ │ ├── stack.maude │ │ ├── stoset.maude │ │ ├── taoset.maude │ │ ├── toset.maude │ │ ├── tree-node.fm │ │ ├── u2.maude │ │ ├── unification-command.maude │ │ ├── unification.maude │ │ ├── untyped-lambda-calculus.maude │ │ ├── view-intasstoset.maude │ │ ├── view-intastoset.fm │ │ ├── view-intastoset.maude │ │ ├── view-intstringastoset.fm │ │ ├── view-intstringastoset.maude │ │ ├── view-nat<=.maude │ │ ├── view-natastoset.maude │ │ ├── view-node.fm │ │ ├── view-nstoset.maude │ │ ├── view-string<=.maude │ │ ├── view-stringastoset.maude │ │ └── view-toset.maude │ ├── oo-stack.fm │ ├── oo-stack2.fm │ ├── overloading-assoc-warning.maude │ ├── owise-test.maude │ ├── pair.maude │ ├── parsing-ex.maude │ ├── path.fm │ ├── path.maude │ ├── person-record.fm │ ├── pfun.fm │ ├── polynomial.fm │ ├── polynomial.maude │ ├── poset.maude │ ├── power-ex.fm │ ├── prelim-set.maude │ ├── print-attr-ambiguous.maude │ ├── print-attribute-ex.maude │ ├── procs-resources-enabled.maude │ ├── procs-resources.maude │ ├── readers-writers-abs.crchc.fm │ ├── readers-writers-abs.maude │ ├── readers-writers-preds.crchc.fm │ ├── readers-writers-preds.maude │ ├── readers-writers.maude │ ├── renaming-ex.maude │ ├── renaming-par.maude │ ├── rent-a-car-store-test.fm │ ├── rent-a-car-store.fm │ ├── rew-seq-extended-rent-a-car-store.fm │ ├── rew-seq-rent-a-car-store.fm │ ├── rew-seq-test.fm │ ├── rew-seq.fm │ ├── rightid-unification-example.fm │ ├── ring.maude │ ├── rrobin.fm │ ├── sampler.maude │ ├── sat-solver-test.maude │ ├── saving-account.fm │ ├── semiring.maude │ ├── set-kind.fm │ ├── set-list.maude │ ├── set-max.fm │ ├── set-max.maude │ ├── sieve.crc.fm │ ├── sieve.maude │ ├── simple-clock.maude │ ├── simple-nat.crc.fm │ ├── simple-nat.maude │ ├── simple-vending-machine.maude │ ├── sorted-list.maude │ ├── sorted-nat-list-kind.maude │ ├── sposet.maude │ ├── stoset.maude │ ├── strat-ex.maude │ ├── string-ops.maude │ ├── taoset.maude │ ├── ticker-factory.maude │ ├── ticker.maude │ ├── toset.maude │ ├── unification-ex.maude │ ├── unification-ex1.maude │ ├── unification-ex2.maude │ ├── unification-ex3.maude │ ├── up-down-test.maude │ ├── vending-machine-grammar.maude │ ├── vending-machine-interface.maude │ ├── vending-machine-signature.maude │ ├── vending-machine.maude │ ├── view-5.fm │ ├── view-account.fm │ ├── view-cid.fm │ ├── view-intasstoset.maude │ ├── view-intastoset.fm │ ├── view-intastoset.maude │ ├── view-natastoset.maude │ ├── view-oid.fm │ ├── view-poset.maude │ ├── view-posettotoset.maude │ ├── view-ring.maude │ ├── view-ringtorat.fm │ ├── view-ringtorat.maude │ ├── view-set.fm │ ├── view-sposettoint.maude │ ├── view-stringastoset.maude │ ├── view-substitution.fm │ ├── view-toset.fm │ ├── view-toset.maude │ ├── view-tuple.fm │ ├── wrong-nat-set.maude │ └── xmatch-test.maude ├── sample-files-3.0 │ ├── +monoid.maude │ ├── 3nat.crc.fm │ ├── 3nat.maude │ ├── _README │ ├── abelian-group.maude │ ├── account.fm │ ├── agent-test.maude │ ├── assoc-id-ex.maude │ ├── assoc-mb-exs.maude │ ├── associative-exs.maude │ ├── backtracking-queens.maude │ ├── bag.maude │ ├── bank-account.maude │ ├── bank-manager.maude │ ├── basic-set.maude │ ├── bb-test.maude │ ├── buffered-socket.maude │ ├── buying-strats.maude │ ├── calculator.maude │ ├── cell.fm │ ├── check-rrobin.fm │ ├── choice.maude │ ├── clock.maude │ ├── collapse-exs.maude │ ├── color-test.maude │ ├── comm-idem-ex.maude │ ├── copy-file.maude │ ├── data-agents-conf.maude │ ├── data-agents-interface.maude │ ├── data-agents.maude │ ├── exclusive-or-mb.maude │ ├── exclusive-or.maude │ ├── extended-rent-a-car-store-test.fm │ ├── extended-rent-a-car-store.fm │ ├── factorial-client.maude │ ├── factorial-server.maude │ ├── factorial.maude │ ├── fibonacci.crc.fm │ ├── fibonacci.maude │ ├── fibonacci.mtt.fm │ ├── folding-narrowing-vending-machine.maude │ ├── format-demo.maude │ ├── generic-set-list.fm │ ├── hanoi.maude │ ├── hello.maude │ ├── het-list.maude │ ├── http1.0-client.maude │ ├── id-unification-example.fm │ ├── insertion-sort.maude │ ├── int-gt-3.maude │ ├── iter-example.maude │ ├── iter-mb-exs.maude │ ├── last-append-membership.maude │ ├── last-append.fm │ ├── leftid-unification-example.fm │ ├── lex-pair.maude │ ├── maybe.fm │ ├── maybe.maude │ ├── metadata-ex.maude │ ├── metalevel-exs.maude │ ├── metaxmatch-ex.maude │ ├── mini-maude-metainterpreter.maude │ ├── mini-maude-syntax.maude │ ├── mini-maude.maude │ ├── monoid.maude │ ├── mutex-check.maude │ ├── mutex-preds.maude │ ├── mutex.maude │ ├── my-set-list.maude │ ├── naive-sorted-nat-list.maude │ ├── narrowing-vending-machine.fm │ ├── narrowing-vending-machine.maude │ ├── nat-list-max.maude │ ├── nat-modulo.fm │ ├── nat-mset-min.maude │ ├── nat-narrowing.maude │ ├── nat-plus.fm │ ├── nat-variant.maude │ ├── nat3.maude │ ├── non-associative-ex.maude │ ├── nsposet.maude │ ├── nstoset.maude │ ├── numbers.maude │ ├── nznat#.fm │ ├── o-ticker-factory.maude │ ├── o-ticker.maude │ ├── only-book │ │ ├── 234trees.maude │ │ ├── 8-puzzle.fm │ │ ├── abstract-bakery-preds.crchc.fm │ │ ├── abstract-bakery-preds.maude │ │ ├── abstract-bakery.crchc.fm │ │ ├── abstract-bakery.maude │ │ ├── avl.maude │ │ ├── bakery-preds.crchc.fm │ │ ├── bakery-preds.maude │ │ ├── bakery.crchc.fm │ │ ├── bakery.maude │ │ ├── bank-account.maude │ │ ├── basic-nat-list.maude │ │ ├── basic-nat-mset.maude │ │ ├── basic-nat-ne-list.maude │ │ ├── basic-nat-set.maude │ │ ├── basic-nat-tree.maude │ │ ├── basic-nat.maude │ │ ├── basic-set.maude │ │ ├── bin-tree.maude │ │ ├── blackboard.maude │ │ ├── blocks-world.maude │ │ ├── buffered-socket.maude │ │ ├── chess-cover.maude │ │ ├── chips.maude │ │ ├── deadlock-free-mod-expr.maude │ │ ├── deadlock-freedom.maude │ │ ├── dekker.maude │ │ ├── df-abstract-bakery-check.fm │ │ ├── df-abstract-bakery-preds.fm │ │ ├── df-abstract-bakery.fm │ │ ├── df-bakery-preds.fm │ │ ├── df-bakery.fm │ │ ├── die-hard.maude │ │ ├── gen-tree.maude │ │ ├── idem-semigroups.maude │ │ ├── instrumentation-infrastructure.maude │ │ ├── instrumentation-test.maude │ │ ├── instrumentation.maude │ │ ├── josephus.maude │ │ ├── khun-phan.maude │ │ ├── leftist-trees.fm │ │ ├── leftist-trees.maude │ │ ├── library-petri-net.maude │ │ ├── list-cons.maude │ │ ├── list-kind.maude │ │ ├── maybe.maude │ │ ├── mobile-maude-centralized.maude │ │ ├── mobile-maude-distributed.maude │ │ ├── mobile-maude.maude │ │ ├── multiset.maude │ │ ├── naive-idem-semigroup.maude │ │ ├── nat-pred-kind.maude │ │ ├── nat-pred-sub.maude │ │ ├── nat-pred-super.maude │ │ ├── nsposet.maude │ │ ├── nstoset.maude │ │ ├── oo-blocks-world.fm │ │ ├── peano-int.maude │ │ ├── peano-nat.fm │ │ ├── peano-nat.maude │ │ ├── peano-rat.maude │ │ ├── poset.maude │ │ ├── printers-buyer.maude │ │ ├── printers-check.maude │ │ ├── printers-erew1.maude │ │ ├── printers-erew2.maude │ │ ├── printers-erew3.maude │ │ ├── printers-seller.maude │ │ ├── printers.maude │ │ ├── priority-pair.maude │ │ ├── priority-queue.maude │ │ ├── queue.maude │ │ ├── qval.maude │ │ ├── rabbit-hop.maude │ │ ├── rb-trees.maude │ │ ├── recoloring.maude │ │ ├── river-crossing-2.maude │ │ ├── river-crossing.maude │ │ ├── search-tree.maude │ │ ├── set-max.maude │ │ ├── sorted-list-kind.maude │ │ ├── sorted-list.maude │ │ ├── sposet.maude │ │ ├── spreadsheet.fm │ │ ├── spreedsheet-asynch.fm │ │ ├── stack.maude │ │ ├── stoset.maude │ │ ├── taoset.maude │ │ ├── toset.maude │ │ ├── tree-node.fm │ │ ├── tree-node.maude │ │ ├── u2.maude │ │ ├── unification-command.maude │ │ ├── unification.maude │ │ ├── untyped-lambda-calculus.maude │ │ ├── view-intasstoset.maude │ │ ├── view-intastoset.fm │ │ ├── view-intastoset.maude │ │ ├── view-intstringastoset.fm │ │ ├── view-intstringastoset.maude │ │ ├── view-nat<=.maude │ │ ├── view-natastoset.maude │ │ ├── view-node.fm │ │ ├── view-node.maude │ │ ├── view-nstoset.maude │ │ ├── view-string<=.maude │ │ ├── view-stringastoset.maude │ │ └── view-toset.maude │ ├── oo-stack.fm │ ├── oo-stack2.fm │ ├── overloading-assoc-warning.maude │ ├── owise-test.maude │ ├── pair.maude │ ├── parsing-ex.maude │ ├── path.fm │ ├── path.maude │ ├── person-record.fm │ ├── pfun.fm │ ├── polynomial.fm │ ├── polynomial.maude │ ├── poset.maude │ ├── power-ex.fm │ ├── prelim-set.maude │ ├── print-attr-ambiguous.maude │ ├── print-attribute-ex.maude │ ├── procs-resources-enabled.maude │ ├── procs-resources.maude │ ├── prolog.maude │ ├── readers-writers-abs.crchc.fm │ ├── readers-writers-abs.maude │ ├── readers-writers-preds.crchc.fm │ ├── readers-writers-preds.maude │ ├── readers-writers.maude │ ├── renaming-ex.maude │ ├── renaming-par.maude │ ├── rent-a-car-store-test.fm │ ├── rent-a-car-store.fm │ ├── rew-seq-extended-rent-a-car-store.fm │ ├── rew-seq-rent-a-car-store.fm │ ├── rew-seq-test.fm │ ├── rew-seq.fm │ ├── rightid-unification-example.fm │ ├── ring.maude │ ├── rot13.maude │ ├── rrobin.fm │ ├── russian-dolls.maude │ ├── sampler.maude │ ├── sat-solver-test.maude │ ├── saving-account.fm │ ├── semiring.maude │ ├── set-kind.fm │ ├── set-list.maude │ ├── set-max.fm │ ├── set-max.maude │ ├── sieve.crc.fm │ ├── sieve.maude │ ├── simple-clock.maude │ ├── simple-nat.crc.fm │ ├── simple-nat.maude │ ├── simple-vending-machine.maude │ ├── smod-importation.maude │ ├── sorted-list.maude │ ├── sorted-nat-list-kind.maude │ ├── sposet.maude │ ├── stoset.maude │ ├── strat-ex.maude │ ├── string-ops.maude │ ├── taoset.maude │ ├── ticker-factory.maude │ ├── ticker.maude │ ├── toset.maude │ ├── unification-ex.maude │ ├── unification-ex1.maude │ ├── unification-ex2.maude │ ├── unification-ex3.maude │ ├── unification-ex4.maude │ ├── up-down-test.maude │ ├── variant-unification-assoc.maude │ ├── variant-vending-machine.maude │ ├── vending-machine-grammar.maude │ ├── vending-machine-interface.maude │ ├── vending-machine-io.maude │ ├── vending-machine-signature.maude │ ├── vending-machine.maude │ ├── view-5.fm │ ├── view-account.fm │ ├── view-cid.fm │ ├── view-intasstoset.maude │ ├── view-intastoset.fm │ ├── view-intastoset.maude │ ├── view-natastoset.maude │ ├── view-oid.fm │ ├── view-poset.maude │ ├── view-posettotoset.maude │ ├── view-ring.maude │ ├── view-ringtorat.fm │ ├── view-ringtorat.maude │ ├── view-set.fm │ ├── view-sposettoint.maude │ ├── view-stringastoset.maude │ ├── view-substitution.fm │ ├── view-toset.fm │ ├── view-toset.maude │ ├── view-tuple.fm │ ├── wrong-nat-set.maude │ └── xmatch-test.maude ├── sample-files-fm3.2 │ └── hanoi.fm ├── samples │ ├── __pycache__ │ │ └── string_extract.cpython-37.pyc │ ├── file.txt │ ├── maybe.maude │ ├── process-dc-faulty.maude │ ├── process-dc.maude │ ├── process-maude-2.maude │ ├── process-maude-faulty.maude │ ├── process-maude-monolithic.maude │ ├── process-maude-with-intermediate-file.maude │ ├── process-maude.maude │ ├── process-python-1.maude │ ├── process-python-2-2.maude │ ├── process-python-2-3.maude │ ├── process-python-2.maude │ ├── process-python-3.maude │ ├── process-python-4.maude │ ├── process-python-5.maude │ ├── string_extract.py │ ├── string_extract_1_no_strings.py │ ├── string_extract_2_strings.py │ └── string_extract_3_file.py ├── steven │ ├── binding-renaming.fm │ ├── binding-renaming.maude │ ├── binding-renaming2.fm │ ├── binding-renaming2.maude │ └── pc.fm ├── strategies │ ├── hanoi-aux.fm │ ├── hanoi-aux.maude │ ├── hanoi-count.fm │ ├── hanoi-count.maude │ ├── hanoi-solve.fm │ ├── hanoi-solve.maude │ ├── hanoi.fm │ ├── hanoi.maude │ ├── hanoi2.fm │ ├── insertion-sort-alt.fm │ ├── insertion-sort.fm │ ├── insertion-sort.maude │ ├── prolog.fm │ ├── queens.fm │ ├── queens.maude │ ├── strats.fm │ ├── striv.fm │ ├── striv.maude │ └── ucm │ │ ├── 15puzzle.fm │ │ ├── ATMNetwork.fm │ │ ├── backtracking.maude │ │ ├── basic-completion │ │ ├── ANS-completion.maude │ │ ├── N-completion.maude │ │ ├── S-completion.maude │ │ ├── completion-rules.maude │ │ ├── critical-pairs.maude │ │ ├── examples │ │ │ ├── all-completions-old.maude │ │ │ ├── all-completions.maude │ │ │ ├── example-0.fm │ │ │ ├── example-6.2.7.fm │ │ │ ├── example-7.1.1.fm │ │ │ ├── example-7.2.6.fm │ │ │ ├── example-ex7.8.fm │ │ │ ├── example-groups.fm │ │ │ ├── follow-deductions.fm │ │ │ └── lpo.maude │ │ ├── knuth-bendix.maude │ │ ├── old │ │ │ ├── ANS-completion.maude │ │ │ ├── N-completion.maude │ │ │ ├── S-completion.maude │ │ │ └── knuth-bendix.maude │ │ └── readme.txt │ │ ├── blackboard.fm │ │ ├── bt-graphs.maude │ │ ├── bt-labyrinth.maude │ │ ├── bt-queens.maude │ │ ├── ccs2.fm │ │ ├── congruence.fm │ │ ├── congruence.maude │ │ ├── flatMap.maude │ │ ├── fractals.maude │ │ ├── fractals.py │ │ ├── hanoi.fm │ │ ├── insertion-sort.fm │ │ ├── lambda.maude │ │ ├── linprog-analysis.maude │ │ ├── linprog-examples.maude │ │ ├── linprog.maude │ │ ├── prolog.fm │ │ ├── recfns.maude │ │ ├── rivercrossing.fm │ │ ├── wordWrap-examples.maude │ │ └── wordWrap.maude ├── theory-views │ ├── rel-new.maude │ └── rel-new1.maude └── trace.maude └── to-do-list.md /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/.gitignore -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/readme.md -------------------------------------------------------------------------------- /src/fm25/full-maude25a.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm25/full-maude25a.maude -------------------------------------------------------------------------------- /src/fm25/full-maude96b1.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm25/full-maude96b1.maude -------------------------------------------------------------------------------- /src/fm26/full-maude261f.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm26/full-maude261f.maude -------------------------------------------------------------------------------- /src/fm26/full-maude261g.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm26/full-maude261g.maude -------------------------------------------------------------------------------- /src/fm26/full-maude261h.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm26/full-maude261h.maude -------------------------------------------------------------------------------- /src/fm27/full-maude27.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm27/full-maude27.maude -------------------------------------------------------------------------------- /src/fm27/full-maude27a.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm27/full-maude27a.maude -------------------------------------------------------------------------------- /src/fm27/full-maude27b.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm27/full-maude27b.maude -------------------------------------------------------------------------------- /src/fm27/full-maude27c.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm27/full-maude27c.maude -------------------------------------------------------------------------------- /src/fm27/full-maude27d.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm27/full-maude27d.maude -------------------------------------------------------------------------------- /src/fm27/full-maude27e.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm27/full-maude27e.maude -------------------------------------------------------------------------------- /src/fm27/full-maude27f.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm27/full-maude27f.maude -------------------------------------------------------------------------------- /src/fm27/full-maude27g.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm27/full-maude27g.maude -------------------------------------------------------------------------------- /src/fm27/full-maude27h.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm27/full-maude27h.maude -------------------------------------------------------------------------------- /src/fm3/full-maude3.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm3/full-maude3.maude -------------------------------------------------------------------------------- /src/fm3/full-maude32.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm3/full-maude32.maude -------------------------------------------------------------------------------- /src/fm3/full-maude321.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm3/full-maude321.maude -------------------------------------------------------------------------------- /src/fm3/full-maude331.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm3/full-maude331.maude -------------------------------------------------------------------------------- /src/fm3/full-maude351.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm3/full-maude351.maude -------------------------------------------------------------------------------- /src/fm3/full-maude3a.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm3/full-maude3a.maude -------------------------------------------------------------------------------- /src/fm31/full-maude31.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm31/full-maude31.maude -------------------------------------------------------------------------------- /src/fm31/full-maude31a.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fm31/full-maude31a.maude -------------------------------------------------------------------------------- /src/fmmi/configuration+.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fmmi/configuration+.maude -------------------------------------------------------------------------------- /src/fmmi/full-maude-mi.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fmmi/full-maude-mi.maude -------------------------------------------------------------------------------- /src/fmmi/full-maude-processing-simplified.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fmmi/full-maude-processing-simplified.maude -------------------------------------------------------------------------------- /src/fmmi/full-maude-processing.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fmmi/full-maude-processing.maude -------------------------------------------------------------------------------- /src/fmmi/full-maude-syntax.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fmmi/full-maude-syntax.maude -------------------------------------------------------------------------------- /src/fmmi/maybe.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fmmi/maybe.maude -------------------------------------------------------------------------------- /src/fmmi/move-down.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fmmi/move-down.maude -------------------------------------------------------------------------------- /src/fmmi/santiago.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fmmi/santiago.maude -------------------------------------------------------------------------------- /src/fmmi/tuples.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fmmi/tuples.maude -------------------------------------------------------------------------------- /src/fmmi/views.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/fmmi/views.maude -------------------------------------------------------------------------------- /src/mm0/fm-banner.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/mm0/fm-banner.fm -------------------------------------------------------------------------------- /src/mm0/maybe.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/mm0/maybe.maude -------------------------------------------------------------------------------- /src/mm0/mini-maude-0.0-syntax.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/mm0/mini-maude-0.0-syntax.maude -------------------------------------------------------------------------------- /src/mm0/mini-maude-0.0.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/mm0/mini-maude-0.0.maude -------------------------------------------------------------------------------- /src/mm0/mini-maude-0.1-syntax.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/mm0/mini-maude-0.1-syntax.maude -------------------------------------------------------------------------------- /src/mm0/mini-maude-0.1.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/mm0/mini-maude-0.1.maude -------------------------------------------------------------------------------- /src/mm0/mini-maude-metainterpreter.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/mm0/mini-maude-metainterpreter.maude -------------------------------------------------------------------------------- /src/mm0/mini-maude.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/src/mm0/mini-maude.maude -------------------------------------------------------------------------------- /tests/bug-reports/Schuetz-Schmuck.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/bug-reports/Schuetz-Schmuck.fm -------------------------------------------------------------------------------- /tests/bug-reports/getVariants.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/bug-reports/getVariants.txt -------------------------------------------------------------------------------- /tests/bug-reports/loadsmod.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/bug-reports/loadsmod.maude -------------------------------------------------------------------------------- /tests/bug-reports/metaPrettyPrintStrategy.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/bug-reports/metaPrettyPrintStrategy.maude -------------------------------------------------------------------------------- /tests/bug-reports/sorted-list-renaming.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/bug-reports/sorted-list-renaming.fm -------------------------------------------------------------------------------- /tests/bug-reports/sorted-list-renaming.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/bug-reports/sorted-list-renaming.maude -------------------------------------------------------------------------------- /tests/bug-reports/sorted-set.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/bug-reports/sorted-set.maude -------------------------------------------------------------------------------- /tests/examples-chapter-narrowing.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/examples-chapter-narrowing.fm -------------------------------------------------------------------------------- /tests/examples-chapter-variants.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/examples-chapter-variants.maude -------------------------------------------------------------------------------- /tests/examples/marko.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/examples/marko.fm -------------------------------------------------------------------------------- /tests/examples/objects.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/examples/objects.maude -------------------------------------------------------------------------------- /tests/manual/examples271/+monoid.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/+monoid.maude -------------------------------------------------------------------------------- /tests/manual/examples271/3nat.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/3nat.fm -------------------------------------------------------------------------------- /tests/manual/examples271/account.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/account.fm -------------------------------------------------------------------------------- /tests/manual/examples271/assoc-id-ex.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/assoc-id-ex.fm -------------------------------------------------------------------------------- /tests/manual/examples271/assoc-mb-exs.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/assoc-mb-exs.maude -------------------------------------------------------------------------------- /tests/manual/examples271/associative-exs.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/associative-exs.maude -------------------------------------------------------------------------------- /tests/manual/examples271/bag.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/bag.maude -------------------------------------------------------------------------------- /tests/manual/examples271/bank-account.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/bank-account.maude -------------------------------------------------------------------------------- /tests/manual/examples271/bank-manager.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/bank-manager.maude -------------------------------------------------------------------------------- /tests/manual/examples271/basic-set.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/basic-set.maude -------------------------------------------------------------------------------- /tests/manual/examples271/bb-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/bb-test.maude -------------------------------------------------------------------------------- /tests/manual/examples271/buffered-socket.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/buffered-socket.maude -------------------------------------------------------------------------------- /tests/manual/examples271/buying-strats.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/buying-strats.maude -------------------------------------------------------------------------------- /tests/manual/examples271/cell.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/cell.fm -------------------------------------------------------------------------------- /tests/manual/examples271/check-rrobin.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/check-rrobin.fm -------------------------------------------------------------------------------- /tests/manual/examples271/choice.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/choice.maude -------------------------------------------------------------------------------- /tests/manual/examples271/clock.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/clock.maude -------------------------------------------------------------------------------- /tests/manual/examples271/collapse-exs.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/collapse-exs.maude -------------------------------------------------------------------------------- /tests/manual/examples271/color-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/color-test.maude -------------------------------------------------------------------------------- /tests/manual/examples271/comm-idem-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/comm-idem-ex.maude -------------------------------------------------------------------------------- /tests/manual/examples271/data-agents-conf.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/data-agents-conf.maude -------------------------------------------------------------------------------- /tests/manual/examples271/data-agents-interface.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/data-agents-interface.maude -------------------------------------------------------------------------------- /tests/manual/examples271/data-agents-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/data-agents-test.maude -------------------------------------------------------------------------------- /tests/manual/examples271/data-agents.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/data-agents.maude -------------------------------------------------------------------------------- /tests/manual/examples271/extended-rent-a-car-store.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/extended-rent-a-car-store.fm -------------------------------------------------------------------------------- /tests/manual/examples271/factorial-client.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/factorial-client.maude -------------------------------------------------------------------------------- /tests/manual/examples271/factorial-server.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/factorial-server.maude -------------------------------------------------------------------------------- /tests/manual/examples271/factorial.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/factorial.maude -------------------------------------------------------------------------------- /tests/manual/examples271/fibonacci.crc.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/fibonacci.crc.fm -------------------------------------------------------------------------------- /tests/manual/examples271/fibonacci.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/fibonacci.maude -------------------------------------------------------------------------------- /tests/manual/examples271/fibonacci.mtt.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/fibonacci.mtt.fm -------------------------------------------------------------------------------- /tests/manual/examples271/format-demo.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/format-demo.maude -------------------------------------------------------------------------------- /tests/manual/examples271/generic-set-list.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/generic-set-list.fm -------------------------------------------------------------------------------- /tests/manual/examples271/het-list.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/het-list.maude -------------------------------------------------------------------------------- /tests/manual/examples271/http1.0-client.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/http1.0-client.maude -------------------------------------------------------------------------------- /tests/manual/examples271/id-unification-example.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/id-unification-example.fm -------------------------------------------------------------------------------- /tests/manual/examples271/int-gt-3.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/int-gt-3.maude -------------------------------------------------------------------------------- /tests/manual/examples271/iter-example.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/iter-example.maude -------------------------------------------------------------------------------- /tests/manual/examples271/iter-mb-exs.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/iter-mb-exs.maude -------------------------------------------------------------------------------- /tests/manual/examples271/last-append.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/last-append.fm -------------------------------------------------------------------------------- /tests/manual/examples271/lex-pair.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/lex-pair.maude -------------------------------------------------------------------------------- /tests/manual/examples271/maybe.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/maybe.fm -------------------------------------------------------------------------------- /tests/manual/examples271/maybe.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/maybe.maude -------------------------------------------------------------------------------- /tests/manual/examples271/metadata-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/metadata-ex.maude -------------------------------------------------------------------------------- /tests/manual/examples271/metalevel-exs.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/metalevel-exs.maude -------------------------------------------------------------------------------- /tests/manual/examples271/metaxmatch-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/metaxmatch-ex.maude -------------------------------------------------------------------------------- /tests/manual/examples271/mini-maude-syntax.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/mini-maude-syntax.maude -------------------------------------------------------------------------------- /tests/manual/examples271/mini-maude.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/mini-maude.maude -------------------------------------------------------------------------------- /tests/manual/examples271/monoid.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/monoid.maude -------------------------------------------------------------------------------- /tests/manual/examples271/mutex-check.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/mutex-check.maude -------------------------------------------------------------------------------- /tests/manual/examples271/mutex-preds.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/mutex-preds.maude -------------------------------------------------------------------------------- /tests/manual/examples271/mutex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/mutex.maude -------------------------------------------------------------------------------- /tests/manual/examples271/my-set-list.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/my-set-list.maude -------------------------------------------------------------------------------- /tests/manual/examples271/naive-sorted-nat-list.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/naive-sorted-nat-list.maude -------------------------------------------------------------------------------- /tests/manual/examples271/narrowing-vending-machine.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/narrowing-vending-machine.fm -------------------------------------------------------------------------------- /tests/manual/examples271/nat-list-max.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/nat-list-max.maude -------------------------------------------------------------------------------- /tests/manual/examples271/nat-modulo.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/nat-modulo.fm -------------------------------------------------------------------------------- /tests/manual/examples271/nat-mset-min.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/nat-mset-min.maude -------------------------------------------------------------------------------- /tests/manual/examples271/nat-narrowing.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/nat-narrowing.maude -------------------------------------------------------------------------------- /tests/manual/examples271/nat-plus.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/nat-plus.fm -------------------------------------------------------------------------------- /tests/manual/examples271/nat3.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/nat3.maude -------------------------------------------------------------------------------- /tests/manual/examples271/non-associative-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/non-associative-ex.maude -------------------------------------------------------------------------------- /tests/manual/examples271/nsposet.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/nsposet.maude -------------------------------------------------------------------------------- /tests/manual/examples271/nstoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/nstoset.maude -------------------------------------------------------------------------------- /tests/manual/examples271/numbers.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/numbers.maude -------------------------------------------------------------------------------- /tests/manual/examples271/nznat#.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/nznat#.fm -------------------------------------------------------------------------------- /tests/manual/examples271/o-ticker-factory.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/o-ticker-factory.maude -------------------------------------------------------------------------------- /tests/manual/examples271/o-ticker.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/o-ticker.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/234trees.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/234trees.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/8-puzzle.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/8-puzzle.fm -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/avl.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/avl.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/bakery-preds.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/bakery-preds.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/bakery.crchc.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/bakery.crchc.fm -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/bakery.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/bakery.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/bank-account.maude: -------------------------------------------------------------------------------- 1 | load ../bank-account.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/basic-nat.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/basic-nat.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/basic-set.maude: -------------------------------------------------------------------------------- 1 | load ./basic-set.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/bin-tree.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/bin-tree.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/blackboard.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/blackboard.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/blocks-world.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/blocks-world.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/buffered-socket.maude: -------------------------------------------------------------------------------- 1 | load ../buffered-socket.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/chess-cover.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/chess-cover.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/chips.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/chips.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/dekker.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/dekker.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/df-bakery-preds.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/df-bakery-preds.fm -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/df-bakery.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/df-bakery.fm -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/die-hard.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/die-hard.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/gen-tree.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/gen-tree.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/josephus.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/josephus.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/khun-phan.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/khun-phan.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/leftist-trees.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/leftist-trees.fm -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/list-cons.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/list-cons.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/list-kind.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/list-kind.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/maybe.maude: -------------------------------------------------------------------------------- 1 | load ../maybe.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/mobile-maude.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/mobile-maude.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/multiset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/multiset.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/nat-pred-sub.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/nat-pred-sub.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/nsposet.maude: -------------------------------------------------------------------------------- 1 | load ../nsposet.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/nstoset.maude: -------------------------------------------------------------------------------- 1 | load ../nstoset.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/oo-blocks-world.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/oo-blocks-world.fm -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/peano-int.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/peano-int.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/peano-nat.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/peano-nat.fm -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/peano-nat.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/peano-nat.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/peano-rat.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/peano-rat.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/poset.maude: -------------------------------------------------------------------------------- 1 | load ../poset.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/printers.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/printers.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/queue.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/queue.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/qval.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/qval.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/rabbit-hop.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/rabbit-hop.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/rb-trees.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/rb-trees.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/recoloring.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/recoloring.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/search-tree.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/search-tree.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/set-max.maude: -------------------------------------------------------------------------------- 1 | load ../set-max.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/sorted-list.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/sorted-list.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/sposet.maude: -------------------------------------------------------------------------------- 1 | load ../sposet.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/spreadsheet.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/spreadsheet.fm -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/stack.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/stack.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/stoset.maude: -------------------------------------------------------------------------------- 1 | load ../stoset.maude 2 | -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/taoset.maude: -------------------------------------------------------------------------------- 1 | load ../taoset.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/toset.maude: -------------------------------------------------------------------------------- 1 | load ../toset.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/tree-node.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/tree-node.fm -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/u2.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/u2.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/unification.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/unification.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/view-intasstoset.maude: -------------------------------------------------------------------------------- 1 | load ../view-intasstoset.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/view-intastoset.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/view-intastoset.fm -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/view-intastoset.maude: -------------------------------------------------------------------------------- 1 | load ../view-intastoset.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/view-nat<=.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/view-nat<=.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/view-node.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/view-node.fm -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/view-nstoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/only-book/view-nstoset.maude -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/view-stringastoset.maude: -------------------------------------------------------------------------------- 1 | load ../view-stringastoset.maude 2 | -------------------------------------------------------------------------------- /tests/manual/examples271/only-book/view-toset.maude: -------------------------------------------------------------------------------- 1 | load ../view-toset.maude -------------------------------------------------------------------------------- /tests/manual/examples271/oo-stack.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/oo-stack.fm -------------------------------------------------------------------------------- /tests/manual/examples271/oo-stack2.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/oo-stack2.fm -------------------------------------------------------------------------------- /tests/manual/examples271/owise-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/owise-test.maude -------------------------------------------------------------------------------- /tests/manual/examples271/pair.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/pair.maude -------------------------------------------------------------------------------- /tests/manual/examples271/parsing-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/parsing-ex.maude -------------------------------------------------------------------------------- /tests/manual/examples271/path.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/path.fm -------------------------------------------------------------------------------- /tests/manual/examples271/path.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/path.maude -------------------------------------------------------------------------------- /tests/manual/examples271/person-record.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/person-record.fm -------------------------------------------------------------------------------- /tests/manual/examples271/pfun.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/pfun.fm -------------------------------------------------------------------------------- /tests/manual/examples271/polynomial.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/polynomial.fm -------------------------------------------------------------------------------- /tests/manual/examples271/polynomial.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/polynomial.maude -------------------------------------------------------------------------------- /tests/manual/examples271/poset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/poset.maude -------------------------------------------------------------------------------- /tests/manual/examples271/power-ex.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/power-ex.fm -------------------------------------------------------------------------------- /tests/manual/examples271/prelim-set.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/prelim-set.maude -------------------------------------------------------------------------------- /tests/manual/examples271/print-attr-ambiguous.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/print-attr-ambiguous.maude -------------------------------------------------------------------------------- /tests/manual/examples271/print-attribute-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/print-attribute-ex.maude -------------------------------------------------------------------------------- /tests/manual/examples271/procs-resources.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/procs-resources.maude -------------------------------------------------------------------------------- /tests/manual/examples271/readers-writers-abs.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/readers-writers-abs.maude -------------------------------------------------------------------------------- /tests/manual/examples271/readers-writers.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/readers-writers.maude -------------------------------------------------------------------------------- /tests/manual/examples271/renaming-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/renaming-ex.maude -------------------------------------------------------------------------------- /tests/manual/examples271/renaming-par.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/renaming-par.maude -------------------------------------------------------------------------------- /tests/manual/examples271/rent-a-car-store-test.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/rent-a-car-store-test.fm -------------------------------------------------------------------------------- /tests/manual/examples271/rent-a-car-store.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/rent-a-car-store.fm -------------------------------------------------------------------------------- /tests/manual/examples271/rew-seq-test.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/rew-seq-test.fm -------------------------------------------------------------------------------- /tests/manual/examples271/rew-seq.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/rew-seq.fm -------------------------------------------------------------------------------- /tests/manual/examples271/ring.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/ring.maude -------------------------------------------------------------------------------- /tests/manual/examples271/rrobin.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/rrobin.fm -------------------------------------------------------------------------------- /tests/manual/examples271/sampler.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/sampler.maude -------------------------------------------------------------------------------- /tests/manual/examples271/sat-solver-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/sat-solver-test.maude -------------------------------------------------------------------------------- /tests/manual/examples271/saving-account.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/saving-account.fm -------------------------------------------------------------------------------- /tests/manual/examples271/semiring.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/semiring.maude -------------------------------------------------------------------------------- /tests/manual/examples271/set-kind.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/set-kind.fm -------------------------------------------------------------------------------- /tests/manual/examples271/set-list.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/set-list.maude -------------------------------------------------------------------------------- /tests/manual/examples271/set-max.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/set-max.fm -------------------------------------------------------------------------------- /tests/manual/examples271/set-max.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/set-max.maude -------------------------------------------------------------------------------- /tests/manual/examples271/sieve.crc.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/sieve.crc.fm -------------------------------------------------------------------------------- /tests/manual/examples271/sieve.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/sieve.maude -------------------------------------------------------------------------------- /tests/manual/examples271/simple-clock.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/simple-clock.maude -------------------------------------------------------------------------------- /tests/manual/examples271/simple-nat.crc.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/simple-nat.crc.fm -------------------------------------------------------------------------------- /tests/manual/examples271/simple-nat.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/simple-nat.maude -------------------------------------------------------------------------------- /tests/manual/examples271/sorted-list.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/sorted-list.maude -------------------------------------------------------------------------------- /tests/manual/examples271/sposet.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/sposet.maude -------------------------------------------------------------------------------- /tests/manual/examples271/stoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/stoset.maude -------------------------------------------------------------------------------- /tests/manual/examples271/strat-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/strat-ex.maude -------------------------------------------------------------------------------- /tests/manual/examples271/string-ops.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/string-ops.maude -------------------------------------------------------------------------------- /tests/manual/examples271/taoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/taoset.maude -------------------------------------------------------------------------------- /tests/manual/examples271/ticker-factory.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/ticker-factory.maude -------------------------------------------------------------------------------- /tests/manual/examples271/ticker.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/ticker.maude -------------------------------------------------------------------------------- /tests/manual/examples271/toset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/toset.maude -------------------------------------------------------------------------------- /tests/manual/examples271/unification-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/unification-ex.maude -------------------------------------------------------------------------------- /tests/manual/examples271/unification-ex1.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/unification-ex1.maude -------------------------------------------------------------------------------- /tests/manual/examples271/unification-ex2.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/unification-ex2.maude -------------------------------------------------------------------------------- /tests/manual/examples271/unification-ex3.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/unification-ex3.maude -------------------------------------------------------------------------------- /tests/manual/examples271/up-down-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/up-down-test.maude -------------------------------------------------------------------------------- /tests/manual/examples271/vending-machine.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/vending-machine.maude -------------------------------------------------------------------------------- /tests/manual/examples271/view-5.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/view-5.fm -------------------------------------------------------------------------------- /tests/manual/examples271/view-account.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/view-account.fm -------------------------------------------------------------------------------- /tests/manual/examples271/view-cid.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/view-cid.fm -------------------------------------------------------------------------------- /tests/manual/examples271/view-intasstoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/view-intasstoset.maude -------------------------------------------------------------------------------- /tests/manual/examples271/view-intastoset.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/view-intastoset.fm -------------------------------------------------------------------------------- /tests/manual/examples271/view-intastoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/view-intastoset.maude -------------------------------------------------------------------------------- /tests/manual/examples271/view-natastoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/view-natastoset.maude -------------------------------------------------------------------------------- /tests/manual/examples271/view-oid.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/view-oid.fm -------------------------------------------------------------------------------- /tests/manual/examples271/view-poset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/view-poset.maude -------------------------------------------------------------------------------- /tests/manual/examples271/view-posettotoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/view-posettotoset.maude -------------------------------------------------------------------------------- /tests/manual/examples271/view-ring.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/view-ring.maude -------------------------------------------------------------------------------- /tests/manual/examples271/view-ringtorat.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/view-ringtorat.fm -------------------------------------------------------------------------------- /tests/manual/examples271/view-ringtorat.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/view-ringtorat.maude -------------------------------------------------------------------------------- /tests/manual/examples271/view-set.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/view-set.fm -------------------------------------------------------------------------------- /tests/manual/examples271/view-sposettoint.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/view-sposettoint.maude -------------------------------------------------------------------------------- /tests/manual/examples271/view-stringastoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/view-stringastoset.maude -------------------------------------------------------------------------------- /tests/manual/examples271/view-substitution.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/view-substitution.fm -------------------------------------------------------------------------------- /tests/manual/examples271/view-toset.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/view-toset.fm -------------------------------------------------------------------------------- /tests/manual/examples271/view-toset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/view-toset.maude -------------------------------------------------------------------------------- /tests/manual/examples271/view-tuple.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/view-tuple.fm -------------------------------------------------------------------------------- /tests/manual/examples271/wrong-nat-set.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/wrong-nat-set.maude -------------------------------------------------------------------------------- /tests/manual/examples271/xmatch-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/manual/examples271/xmatch-test.maude -------------------------------------------------------------------------------- /tests/narrowing.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/narrowing.fm -------------------------------------------------------------------------------- /tests/output-fm261.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/output-fm261.txt -------------------------------------------------------------------------------- /tests/output-fm27.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/output-fm27.txt -------------------------------------------------------------------------------- /tests/pruebas/a.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/a.fm -------------------------------------------------------------------------------- /tests/pruebas/basic-nat-list.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/basic-nat-list.fm -------------------------------------------------------------------------------- /tests/pruebas/builtin-renaming.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/builtin-renaming.maude -------------------------------------------------------------------------------- /tests/pruebas/db.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/db.maude -------------------------------------------------------------------------------- /tests/pruebas/exa-search.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/exa-search.maude -------------------------------------------------------------------------------- /tests/pruebas/gen-tree.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/gen-tree.fm -------------------------------------------------------------------------------- /tests/pruebas/gen-tree.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/gen-tree.maude -------------------------------------------------------------------------------- /tests/pruebas/getVariants-my-nat-set.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/getVariants-my-nat-set.fm -------------------------------------------------------------------------------- /tests/pruebas/getVariants-my-nat.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/getVariants-my-nat.fm -------------------------------------------------------------------------------- /tests/pruebas/id-rm-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/id-rm-test.maude -------------------------------------------------------------------------------- /tests/pruebas/imports-in-metamodules.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/imports-in-metamodules.maude -------------------------------------------------------------------------------- /tests/pruebas/list-cons.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/list-cons.maude -------------------------------------------------------------------------------- /tests/pruebas/list-test.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/list-test.fm -------------------------------------------------------------------------------- /tests/pruebas/load-command-2.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/load-command-2.fm -------------------------------------------------------------------------------- /tests/pruebas/load-command-owise-metadata.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/load-command-owise-metadata.fm -------------------------------------------------------------------------------- /tests/pruebas/load-command.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/load-command.fm -------------------------------------------------------------------------------- /tests/pruebas/lone-assoc-rm-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/lone-assoc-rm-test.maude -------------------------------------------------------------------------------- /tests/pruebas/machine-int-test.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/machine-int-test.fm -------------------------------------------------------------------------------- /tests/pruebas/machine-int-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/machine-int-test.maude -------------------------------------------------------------------------------- /tests/pruebas/machine-search.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/machine-search.fm -------------------------------------------------------------------------------- /tests/pruebas/mb-label.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/mb-label.fm -------------------------------------------------------------------------------- /tests/pruebas/mb-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/mb-test.maude -------------------------------------------------------------------------------- /tests/pruebas/meta-mb.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/meta-mb.maude -------------------------------------------------------------------------------- /tests/pruebas/moch.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/moch.maude -------------------------------------------------------------------------------- /tests/pruebas/more-general.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/more-general.maude -------------------------------------------------------------------------------- /tests/pruebas/ocl.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/ocl.maude -------------------------------------------------------------------------------- /tests/pruebas/parameterization-renaming.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/parameterization-renaming.maude -------------------------------------------------------------------------------- /tests/pruebas/pita.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/pita.fm -------------------------------------------------------------------------------- /tests/pruebas/prec-gather-bug.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/prec-gather-bug.maude -------------------------------------------------------------------------------- /tests/pruebas/print-attr-ambiguous.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/print-attr-ambiguous.fm -------------------------------------------------------------------------------- /tests/pruebas/print-attr-ambiguous.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/print-attr-ambiguous.maude -------------------------------------------------------------------------------- /tests/pruebas/print-attr-nonambiguous.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/print-attr-nonambiguous.fm -------------------------------------------------------------------------------- /tests/pruebas/print-attr-nonambiguous.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/print-attr-nonambiguous.maude -------------------------------------------------------------------------------- /tests/pruebas/print-attribute-ex.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/print-attribute-ex.fm -------------------------------------------------------------------------------- /tests/pruebas/print-attribute.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/print-attribute.maude -------------------------------------------------------------------------------- /tests/pruebas/prueba-xml.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/prueba-xml.maude -------------------------------------------------------------------------------- /tests/pruebas/renombramiento-ops-parciales.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/renombramiento-ops-parciales.fm -------------------------------------------------------------------------------- /tests/pruebas/salida.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/salida.xml -------------------------------------------------------------------------------- /tests/pruebas/search-commands.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/search-commands.fm -------------------------------------------------------------------------------- /tests/pruebas/search_such_that_bool.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/search_such_that_bool.maude -------------------------------------------------------------------------------- /tests/pruebas/search_with_vbles.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/search_with_vbles.maude -------------------------------------------------------------------------------- /tests/pruebas/serbanuta.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/serbanuta.fm -------------------------------------------------------------------------------- /tests/pruebas/show-all-full-maude.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/show-all-full-maude.fm -------------------------------------------------------------------------------- /tests/pruebas/summation-core-maude-modules.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/summation-core-maude-modules.fm -------------------------------------------------------------------------------- /tests/pruebas/term-set.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/term-set.maude -------------------------------------------------------------------------------- /tests/pruebas/thunif.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/thunif.maude -------------------------------------------------------------------------------- /tests/pruebas/trash.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/trash.maude -------------------------------------------------------------------------------- /tests/pruebas/trash2.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/trash2.maude -------------------------------------------------------------------------------- /tests/pruebas/triple-list.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/triple-list.fm -------------------------------------------------------------------------------- /tests/pruebas/unification.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/unification.fm -------------------------------------------------------------------------------- /tests/pruebas/unification.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/unification.maude -------------------------------------------------------------------------------- /tests/pruebas/universal.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/universal.maude -------------------------------------------------------------------------------- /tests/pruebas/vistas-parametrizadas.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/pruebas/vistas-parametrizadas.fm -------------------------------------------------------------------------------- /tests/run-all-tests.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/run-all-tests.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/+monoid.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/+monoid.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/.DS_Store -------------------------------------------------------------------------------- /tests/sample-files-2.7/3nat.crc.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/3nat.crc.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/3nat.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/3nat.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/_README: -------------------------------------------------------------------------------- 1 | sample files of the Maude book / manual (2.4) -------------------------------------------------------------------------------- /tests/sample-files-2.7/account.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/account.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/agent-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/agent-test.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/assoc-id-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/assoc-id-ex.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/assoc-mb-exs.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/assoc-mb-exs.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/associative-exs.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/associative-exs.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/bag.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/bag.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/bank-account.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/bank-account.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/bank-manager.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/bank-manager.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/basic-set.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/basic-set.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/bb-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/bb-test.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/buffered-socket.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/buffered-socket.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/buying-strats.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/buying-strats.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/cell.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/cell.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/check-rrobin.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/check-rrobin.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/choice.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/choice.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/clock.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/clock.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/collapse-exs.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/collapse-exs.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/color-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/color-test.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/comm-idem-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/comm-idem-ex.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/data-agents-conf.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/data-agents-conf.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/data-agents-interface.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/data-agents-interface.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/data-agents.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/data-agents.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/factorial-client.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/factorial-client.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/factorial-server.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/factorial-server.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/factorial.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/factorial.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/fibonacci.crc.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/fibonacci.crc.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/fibonacci.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/fibonacci.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/fibonacci.mtt.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/fibonacci.mtt.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/format-demo.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/format-demo.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/generic-set-list.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/generic-set-list.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/het-list.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/het-list.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/http1.0-client.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/http1.0-client.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/id-unification-example.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/id-unification-example.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/int-gt-3.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/int-gt-3.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/iter-example.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/iter-example.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/iter-mb-exs.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/iter-mb-exs.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/last-append.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/last-append.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/lex-pair.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/lex-pair.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/maybe.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/maybe.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/maybe.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/maybe.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/membership.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/membership.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/metadata-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/metadata-ex.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/metalevel-exs.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/metalevel-exs.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/metaxmatch-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/metaxmatch-ex.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/mini-maude-syntax.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/mini-maude-syntax.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/mini-maude.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/mini-maude.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/monoid.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/monoid.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/mutex-check.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/mutex-check.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/mutex-preds.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/mutex-preds.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/mutex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/mutex.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/my-set-list.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/my-set-list.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/naive-sorted-nat-list.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/naive-sorted-nat-list.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/narrowing-vm-notop.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/narrowing-vm-notop.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/nat-list-max.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/nat-list-max.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/nat-modulo.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/nat-modulo.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/nat-mset-min.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/nat-mset-min.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/nat-narrowing.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/nat-narrowing.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/nat-plus.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/nat-plus.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/nat3.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/nat3.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/non-associative-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/non-associative-ex.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/nsposet.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/nsposet.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/nstoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/nstoset.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/numbers.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/numbers.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/nznat#.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/nznat#.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/o-ticker-factory.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/o-ticker-factory.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/o-ticker.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/o-ticker.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/234trees.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/234trees.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/8-puzzle.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/8-puzzle.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/avl.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/avl.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/bakery.crchc.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/bakery.crchc.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/bakery.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/bakery.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/bank-account.maude: -------------------------------------------------------------------------------- 1 | load ../bank-account.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/basic-nat.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/basic-nat.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/basic-set.maude: -------------------------------------------------------------------------------- 1 | load ./basic-set.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/bin-tree.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/bin-tree.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/blackboard.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/blackboard.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/buffered-socket.maude: -------------------------------------------------------------------------------- 1 | load ../buffered-socket.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/chess-cover.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/chess-cover.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/chips.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/chips.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/dekker.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/dekker.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/df-bakery.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/df-bakery.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/die-hard.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/die-hard.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/gen-tree.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/gen-tree.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/josephus.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/josephus.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/khun-phan.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/khun-phan.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/leftist-trees.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/leftist-trees.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/list-cons.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/list-cons.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/list-kind.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/list-kind.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/maybe.maude: -------------------------------------------------------------------------------- 1 | load ../maybe.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/multiset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/multiset.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/nsposet.maude: -------------------------------------------------------------------------------- 1 | load ../nsposet.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/nstoset.maude: -------------------------------------------------------------------------------- 1 | load ../nstoset.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/peano-int.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/peano-int.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/peano-nat.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/peano-nat.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/peano-nat.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/peano-nat.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/peano-rat.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/peano-rat.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/poset.maude: -------------------------------------------------------------------------------- 1 | load ../poset.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/printers.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/printers.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/queue.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/queue.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/qval.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/qval.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/rabbit-hop.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/rabbit-hop.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/rb-trees.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/rb-trees.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/recoloring.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/recoloring.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/search-tree.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/search-tree.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/set-max.maude: -------------------------------------------------------------------------------- 1 | load ../set-max.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/sorted-list.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/sorted-list.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/sposet.maude: -------------------------------------------------------------------------------- 1 | load ../sposet.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/spreadsheet.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/spreadsheet.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/stack.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/stack.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/stoset.maude: -------------------------------------------------------------------------------- 1 | load ../stoset.maude 2 | -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/taoset.maude: -------------------------------------------------------------------------------- 1 | load ../taoset.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/toset.maude: -------------------------------------------------------------------------------- 1 | load ../toset.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/tree-node.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/tree-node.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/u2.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/u2.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/unification.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/unification.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/view-intasstoset.maude: -------------------------------------------------------------------------------- 1 | load ../view-intasstoset.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/view-intastoset.maude: -------------------------------------------------------------------------------- 1 | load ../view-intastoset.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/view-nat<=.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/view-nat<=.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/view-node.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/only-book/view-node.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/view-stringastoset.maude: -------------------------------------------------------------------------------- 1 | load ../view-stringastoset.maude 2 | -------------------------------------------------------------------------------- /tests/sample-files-2.7/only-book/view-toset.maude: -------------------------------------------------------------------------------- 1 | load ../view-toset.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/oo-stack.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/oo-stack.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/oo-stack2.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/oo-stack2.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/owise-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/owise-test.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/pair.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/pair.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/parsing-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/parsing-ex.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/path.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/path.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/path.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/path.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/person-record.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/person-record.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/pfun.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/pfun.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/polynomial.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/polynomial.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/polynomial.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/polynomial.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/poset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/poset.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/power-ex.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/power-ex.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/prelim-set.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/prelim-set.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/print-attr-ambiguous.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/print-attr-ambiguous.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/print-attribute-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/print-attribute-ex.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/procs-resources.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/procs-resources.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/readers-writers-abs.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/readers-writers-abs.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/readers-writers-preds.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/readers-writers-preds.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/readers-writers.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/readers-writers.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/renaming-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/renaming-ex.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/renaming-par.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/renaming-par.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/rent-a-car-store-test.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/rent-a-car-store-test.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/rent-a-car-store.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/rent-a-car-store.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/rew-seq-rent-a-car-store.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/rew-seq-rent-a-car-store.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/rew-seq-test.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/rew-seq-test.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/rew-seq.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/rew-seq.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/ring.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/ring.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/rrobin.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/rrobin.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/sampler.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/sampler.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/sat-solver-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/sat-solver-test.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/saving-account.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/saving-account.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/semiring.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/semiring.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/set-kind.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/set-kind.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/set-list.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/set-list.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/set-max.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/set-max.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/set-max.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/set-max.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/sieve.crc.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/sieve.crc.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/sieve.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/sieve.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/simple-clock.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/simple-clock.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/simple-nat.crc.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/simple-nat.crc.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/simple-nat.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/simple-nat.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/sorted-list.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/sorted-list.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/sorted-nat-list-kind.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/sorted-nat-list-kind.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/sposet.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/sposet.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/stoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/stoset.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/strat-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/strat-ex.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/string-ops.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/string-ops.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/taoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/taoset.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/ticker-factory.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/ticker-factory.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/ticker.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/ticker.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/toset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/toset.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/unification-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/unification-ex.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/unification-ex1.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/unification-ex1.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/unification-ex2.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/unification-ex2.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/unification-ex3.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/unification-ex3.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/up-down-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/up-down-test.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/vending-machine.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/vending-machine.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/view-5.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/view-5.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/view-account.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/view-account.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/view-cid.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/view-cid.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/view-intasstoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/view-intasstoset.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/view-intastoset.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/view-intastoset.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/view-intastoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/view-intastoset.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/view-natastoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/view-natastoset.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/view-oid.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/view-oid.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/view-poset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/view-poset.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/view-posettotoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/view-posettotoset.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/view-ring.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/view-ring.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/view-ringtorat.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/view-ringtorat.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/view-ringtorat.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/view-ringtorat.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/view-set.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/view-set.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/view-sposettoint.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/view-sposettoint.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/view-stringastoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/view-stringastoset.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/view-substitution.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/view-substitution.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/view-toset.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/view-toset.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/view-toset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/view-toset.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/view-tuple.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/view-tuple.fm -------------------------------------------------------------------------------- /tests/sample-files-2.7/wrong-nat-set.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/wrong-nat-set.maude -------------------------------------------------------------------------------- /tests/sample-files-2.7/xmatch-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-2.7/xmatch-test.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/+monoid.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/+monoid.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/3nat.crc.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/3nat.crc.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/3nat.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/3nat.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/_README: -------------------------------------------------------------------------------- 1 | sample files of the Maude book / manual (2.4) -------------------------------------------------------------------------------- /tests/sample-files-3.0/abelian-group.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/abelian-group.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/account.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/account.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/agent-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/agent-test.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/assoc-id-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/assoc-id-ex.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/assoc-mb-exs.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/assoc-mb-exs.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/associative-exs.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/associative-exs.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/backtracking-queens.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/backtracking-queens.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/bag.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/bag.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/bank-account.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/bank-account.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/bank-manager.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/bank-manager.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/basic-set.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/basic-set.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/bb-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/bb-test.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/buffered-socket.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/buffered-socket.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/buying-strats.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/buying-strats.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/calculator.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/calculator.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/cell.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/cell.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/check-rrobin.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/check-rrobin.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/choice.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/choice.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/clock.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/clock.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/collapse-exs.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/collapse-exs.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/color-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/color-test.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/comm-idem-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/comm-idem-ex.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/copy-file.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/copy-file.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/data-agents-conf.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/data-agents-conf.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/data-agents-interface.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/data-agents-interface.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/data-agents.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/data-agents.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/exclusive-or-mb.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/exclusive-or-mb.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/exclusive-or.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/exclusive-or.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/factorial-client.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/factorial-client.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/factorial-server.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/factorial-server.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/factorial.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/factorial.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/fibonacci.crc.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/fibonacci.crc.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/fibonacci.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/fibonacci.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/fibonacci.mtt.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/fibonacci.mtt.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/format-demo.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/format-demo.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/generic-set-list.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/generic-set-list.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/hanoi.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/hanoi.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/hello.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/hello.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/het-list.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/het-list.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/http1.0-client.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/http1.0-client.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/id-unification-example.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/id-unification-example.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/insertion-sort.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/insertion-sort.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/int-gt-3.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/int-gt-3.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/iter-example.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/iter-example.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/iter-mb-exs.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/iter-mb-exs.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/last-append.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/last-append.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/lex-pair.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/lex-pair.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/maybe.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/maybe.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/maybe.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/maybe.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/metadata-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/metadata-ex.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/metalevel-exs.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/metalevel-exs.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/metaxmatch-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/metaxmatch-ex.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/mini-maude-syntax.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/mini-maude-syntax.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/mini-maude.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/mini-maude.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/monoid.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/monoid.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/mutex-check.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/mutex-check.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/mutex-preds.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/mutex-preds.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/mutex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/mutex.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/my-set-list.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/my-set-list.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/naive-sorted-nat-list.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/naive-sorted-nat-list.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/nat-list-max.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/nat-list-max.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/nat-modulo.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/nat-modulo.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/nat-mset-min.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/nat-mset-min.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/nat-narrowing.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/nat-narrowing.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/nat-plus.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/nat-plus.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/nat-variant.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/nat-variant.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/nat3.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/nat3.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/non-associative-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/non-associative-ex.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/nsposet.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/nsposet.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/nstoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/nstoset.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/numbers.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/numbers.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/nznat#.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/nznat#.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/o-ticker-factory.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/o-ticker-factory.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/o-ticker.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/o-ticker.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/234trees.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/234trees.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/8-puzzle.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/8-puzzle.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/avl.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/avl.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/bakery.crchc.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/bakery.crchc.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/bakery.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/bakery.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/bank-account.maude: -------------------------------------------------------------------------------- 1 | load ../bank-account.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/basic-nat.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/basic-nat.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/basic-set.maude: -------------------------------------------------------------------------------- 1 | load ./basic-set.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/bin-tree.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/bin-tree.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/blackboard.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/blackboard.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/buffered-socket.maude: -------------------------------------------------------------------------------- 1 | load ../buffered-socket.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/chess-cover.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/chess-cover.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/chips.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/chips.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/dekker.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/dekker.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/df-bakery.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/df-bakery.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/die-hard.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/die-hard.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/gen-tree.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/gen-tree.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/josephus.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/josephus.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/khun-phan.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/khun-phan.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/leftist-trees.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/leftist-trees.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/list-cons.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/list-cons.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/list-kind.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/list-kind.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/maybe.maude: -------------------------------------------------------------------------------- 1 | load ../maybe.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/multiset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/multiset.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/nsposet.maude: -------------------------------------------------------------------------------- 1 | load ../nsposet.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/nstoset.maude: -------------------------------------------------------------------------------- 1 | load ../nstoset.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/peano-int.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/peano-int.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/peano-nat.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/peano-nat.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/peano-nat.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/peano-nat.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/peano-rat.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/peano-rat.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/poset.maude: -------------------------------------------------------------------------------- 1 | load ../poset.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/printers.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/printers.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/queue.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/queue.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/qval.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/qval.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/rabbit-hop.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/rabbit-hop.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/rb-trees.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/rb-trees.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/recoloring.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/recoloring.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/search-tree.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/search-tree.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/set-max.maude: -------------------------------------------------------------------------------- 1 | load ../set-max.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/sorted-list.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/sorted-list.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/sposet.maude: -------------------------------------------------------------------------------- 1 | load ../sposet.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/spreadsheet.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/spreadsheet.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/stack.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/stack.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/stoset.maude: -------------------------------------------------------------------------------- 1 | load ../stoset.maude 2 | -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/taoset.maude: -------------------------------------------------------------------------------- 1 | load ../taoset.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/toset.maude: -------------------------------------------------------------------------------- 1 | load ../toset.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/tree-node.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/tree-node.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/tree-node.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/tree-node.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/u2.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/u2.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/unification.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/unification.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/view-intasstoset.maude: -------------------------------------------------------------------------------- 1 | load ../view-intasstoset.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/view-intastoset.maude: -------------------------------------------------------------------------------- 1 | load ../view-intastoset.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/view-nat<=.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/view-nat<=.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/view-node.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/view-node.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/view-node.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/only-book/view-node.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/view-stringastoset.maude: -------------------------------------------------------------------------------- 1 | load ../view-stringastoset.maude 2 | -------------------------------------------------------------------------------- /tests/sample-files-3.0/only-book/view-toset.maude: -------------------------------------------------------------------------------- 1 | load ../view-toset.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/oo-stack.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/oo-stack.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/oo-stack2.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/oo-stack2.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/owise-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/owise-test.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/pair.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/pair.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/parsing-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/parsing-ex.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/path.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/path.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/path.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/path.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/person-record.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/person-record.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/pfun.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/pfun.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/polynomial.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/polynomial.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/polynomial.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/polynomial.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/poset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/poset.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/power-ex.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/power-ex.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/prelim-set.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/prelim-set.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/print-attr-ambiguous.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/print-attr-ambiguous.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/print-attribute-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/print-attribute-ex.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/procs-resources.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/procs-resources.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/prolog.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/prolog.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/readers-writers-abs.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/readers-writers-abs.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/readers-writers-preds.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/readers-writers-preds.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/readers-writers.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/readers-writers.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/renaming-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/renaming-ex.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/renaming-par.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/renaming-par.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/rent-a-car-store-test.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/rent-a-car-store-test.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/rent-a-car-store.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/rent-a-car-store.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/rew-seq-rent-a-car-store.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/rew-seq-rent-a-car-store.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/rew-seq-test.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/rew-seq-test.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/rew-seq.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/rew-seq.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/ring.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/ring.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/rot13.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/rot13.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/rrobin.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/rrobin.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/russian-dolls.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/russian-dolls.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/sampler.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/sampler.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/sat-solver-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/sat-solver-test.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/saving-account.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/saving-account.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/semiring.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/semiring.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/set-kind.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/set-kind.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/set-list.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/set-list.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/set-max.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/set-max.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/set-max.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/set-max.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/sieve.crc.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/sieve.crc.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/sieve.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/sieve.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/simple-clock.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/simple-clock.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/simple-nat.crc.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/simple-nat.crc.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/simple-nat.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/simple-nat.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/smod-importation.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/smod-importation.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/sorted-list.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/sorted-list.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/sorted-nat-list-kind.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/sorted-nat-list-kind.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/sposet.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/sposet.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/stoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/stoset.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/strat-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/strat-ex.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/string-ops.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/string-ops.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/taoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/taoset.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/ticker-factory.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/ticker-factory.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/ticker.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/ticker.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/toset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/toset.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/unification-ex.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/unification-ex.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/unification-ex1.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/unification-ex1.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/unification-ex2.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/unification-ex2.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/unification-ex3.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/unification-ex3.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/unification-ex4.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/unification-ex4.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/up-down-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/up-down-test.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/vending-machine-io.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/vending-machine-io.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/vending-machine.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/vending-machine.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/view-5.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/view-5.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/view-account.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/view-account.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/view-cid.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/view-cid.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/view-intasstoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/view-intasstoset.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/view-intastoset.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/view-intastoset.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/view-intastoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/view-intastoset.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/view-natastoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/view-natastoset.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/view-oid.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/view-oid.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/view-poset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/view-poset.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/view-posettotoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/view-posettotoset.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/view-ring.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/view-ring.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/view-ringtorat.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/view-ringtorat.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/view-ringtorat.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/view-ringtorat.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/view-set.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/view-set.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/view-sposettoint.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/view-sposettoint.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/view-stringastoset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/view-stringastoset.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/view-substitution.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/view-substitution.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/view-toset.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/view-toset.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/view-toset.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/view-toset.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/view-tuple.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/view-tuple.fm -------------------------------------------------------------------------------- /tests/sample-files-3.0/wrong-nat-set.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/wrong-nat-set.maude -------------------------------------------------------------------------------- /tests/sample-files-3.0/xmatch-test.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-3.0/xmatch-test.maude -------------------------------------------------------------------------------- /tests/sample-files-fm3.2/hanoi.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/sample-files-fm3.2/hanoi.fm -------------------------------------------------------------------------------- /tests/samples/file.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/samples/file.txt -------------------------------------------------------------------------------- /tests/samples/maybe.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/samples/maybe.maude -------------------------------------------------------------------------------- /tests/samples/process-dc-faulty.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/samples/process-dc-faulty.maude -------------------------------------------------------------------------------- /tests/samples/process-dc.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/samples/process-dc.maude -------------------------------------------------------------------------------- /tests/samples/process-maude-2.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/samples/process-maude-2.maude -------------------------------------------------------------------------------- /tests/samples/process-maude-faulty.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/samples/process-maude-faulty.maude -------------------------------------------------------------------------------- /tests/samples/process-maude-monolithic.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/samples/process-maude-monolithic.maude -------------------------------------------------------------------------------- /tests/samples/process-maude.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/samples/process-maude.maude -------------------------------------------------------------------------------- /tests/samples/process-python-1.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/samples/process-python-1.maude -------------------------------------------------------------------------------- /tests/samples/process-python-2-2.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/samples/process-python-2-2.maude -------------------------------------------------------------------------------- /tests/samples/process-python-2-3.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/samples/process-python-2-3.maude -------------------------------------------------------------------------------- /tests/samples/process-python-2.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/samples/process-python-2.maude -------------------------------------------------------------------------------- /tests/samples/process-python-3.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/samples/process-python-3.maude -------------------------------------------------------------------------------- /tests/samples/process-python-4.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/samples/process-python-4.maude -------------------------------------------------------------------------------- /tests/samples/process-python-5.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/samples/process-python-5.maude -------------------------------------------------------------------------------- /tests/samples/string_extract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/samples/string_extract.py -------------------------------------------------------------------------------- /tests/samples/string_extract_1_no_strings.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/samples/string_extract_1_no_strings.py -------------------------------------------------------------------------------- /tests/samples/string_extract_2_strings.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/samples/string_extract_2_strings.py -------------------------------------------------------------------------------- /tests/samples/string_extract_3_file.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/samples/string_extract_3_file.py -------------------------------------------------------------------------------- /tests/steven/binding-renaming.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/steven/binding-renaming.fm -------------------------------------------------------------------------------- /tests/steven/binding-renaming.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/steven/binding-renaming.maude -------------------------------------------------------------------------------- /tests/steven/binding-renaming2.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/steven/binding-renaming2.fm -------------------------------------------------------------------------------- /tests/steven/binding-renaming2.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/steven/binding-renaming2.maude -------------------------------------------------------------------------------- /tests/steven/pc.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/steven/pc.fm -------------------------------------------------------------------------------- /tests/strategies/hanoi-aux.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/hanoi-aux.fm -------------------------------------------------------------------------------- /tests/strategies/hanoi-aux.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/hanoi-aux.maude -------------------------------------------------------------------------------- /tests/strategies/hanoi-count.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/hanoi-count.fm -------------------------------------------------------------------------------- /tests/strategies/hanoi-count.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/hanoi-count.maude -------------------------------------------------------------------------------- /tests/strategies/hanoi-solve.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/hanoi-solve.fm -------------------------------------------------------------------------------- /tests/strategies/hanoi-solve.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/hanoi-solve.maude -------------------------------------------------------------------------------- /tests/strategies/hanoi.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/hanoi.fm -------------------------------------------------------------------------------- /tests/strategies/hanoi.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/hanoi.maude -------------------------------------------------------------------------------- /tests/strategies/hanoi2.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/hanoi2.fm -------------------------------------------------------------------------------- /tests/strategies/insertion-sort-alt.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/insertion-sort-alt.fm -------------------------------------------------------------------------------- /tests/strategies/insertion-sort.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/insertion-sort.fm -------------------------------------------------------------------------------- /tests/strategies/insertion-sort.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/insertion-sort.maude -------------------------------------------------------------------------------- /tests/strategies/prolog.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/prolog.fm -------------------------------------------------------------------------------- /tests/strategies/queens.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/queens.fm -------------------------------------------------------------------------------- /tests/strategies/queens.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/queens.maude -------------------------------------------------------------------------------- /tests/strategies/strats.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/strats.fm -------------------------------------------------------------------------------- /tests/strategies/striv.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/striv.fm -------------------------------------------------------------------------------- /tests/strategies/striv.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/striv.maude -------------------------------------------------------------------------------- /tests/strategies/ucm/15puzzle.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/15puzzle.fm -------------------------------------------------------------------------------- /tests/strategies/ucm/ATMNetwork.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/ATMNetwork.fm -------------------------------------------------------------------------------- /tests/strategies/ucm/backtracking.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/backtracking.maude -------------------------------------------------------------------------------- /tests/strategies/ucm/basic-completion/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/basic-completion/readme.txt -------------------------------------------------------------------------------- /tests/strategies/ucm/blackboard.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/blackboard.fm -------------------------------------------------------------------------------- /tests/strategies/ucm/bt-graphs.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/bt-graphs.maude -------------------------------------------------------------------------------- /tests/strategies/ucm/bt-labyrinth.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/bt-labyrinth.maude -------------------------------------------------------------------------------- /tests/strategies/ucm/bt-queens.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/bt-queens.maude -------------------------------------------------------------------------------- /tests/strategies/ucm/ccs2.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/ccs2.fm -------------------------------------------------------------------------------- /tests/strategies/ucm/congruence.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/congruence.fm -------------------------------------------------------------------------------- /tests/strategies/ucm/congruence.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/congruence.maude -------------------------------------------------------------------------------- /tests/strategies/ucm/flatMap.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/flatMap.maude -------------------------------------------------------------------------------- /tests/strategies/ucm/fractals.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/fractals.maude -------------------------------------------------------------------------------- /tests/strategies/ucm/fractals.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/fractals.py -------------------------------------------------------------------------------- /tests/strategies/ucm/hanoi.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/hanoi.fm -------------------------------------------------------------------------------- /tests/strategies/ucm/insertion-sort.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/insertion-sort.fm -------------------------------------------------------------------------------- /tests/strategies/ucm/lambda.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/lambda.maude -------------------------------------------------------------------------------- /tests/strategies/ucm/linprog-analysis.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/linprog-analysis.maude -------------------------------------------------------------------------------- /tests/strategies/ucm/linprog-examples.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/linprog-examples.maude -------------------------------------------------------------------------------- /tests/strategies/ucm/linprog.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/linprog.maude -------------------------------------------------------------------------------- /tests/strategies/ucm/prolog.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/prolog.fm -------------------------------------------------------------------------------- /tests/strategies/ucm/recfns.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/recfns.maude -------------------------------------------------------------------------------- /tests/strategies/ucm/rivercrossing.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/rivercrossing.fm -------------------------------------------------------------------------------- /tests/strategies/ucm/wordWrap-examples.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/wordWrap-examples.maude -------------------------------------------------------------------------------- /tests/strategies/ucm/wordWrap.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/strategies/ucm/wordWrap.maude -------------------------------------------------------------------------------- /tests/theory-views/rel-new.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/theory-views/rel-new.maude -------------------------------------------------------------------------------- /tests/theory-views/rel-new1.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/theory-views/rel-new1.maude -------------------------------------------------------------------------------- /tests/trace.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/tests/trace.maude -------------------------------------------------------------------------------- /to-do-list.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maude-team/full-maude/HEAD/to-do-list.md --------------------------------------------------------------------------------