├── .github └── workflows │ └── release.yml ├── .gitmodules ├── CITATION.cff ├── CMakeLists.txt ├── LICENSE ├── README.md ├── docs ├── Makefile ├── make.bat └── source │ ├── _templates │ └── layout.html │ ├── babel.rst │ ├── conf.py │ └── index.rst ├── pyproject.toml ├── src ├── easyTerm.cc ├── easyTerm.hh ├── helper_funcs.hh ├── hooks.cc ├── maude_wrappers.cc ├── maude_wrappers.hh ├── model_checking.cc ├── narrowing.cc ├── narrowing.hh ├── specific │ └── python.cc └── strategy_language.cc ├── swig ├── common.i ├── hook.i ├── maude.i ├── misc.i ├── module.i ├── specific │ ├── csharp.i │ ├── fallback.i │ ├── java.i │ ├── lua.i │ └── python.i ├── strategy.i ├── term.i ├── vector.i └── view.i └── tests ├── example.maude ├── java ├── BuildTerm.java └── Test.java ├── node ├── maude_helpers.js └── test.js └── python ├── apply.py ├── bm-fibonacci.py ├── bm-reduce.maude ├── bm-reduce.py ├── buildTerm.py ├── foo.maude ├── graph.py ├── gui.py ├── hooks.py ├── inter.py ├── loading.py ├── match.py ├── maudedoc.py ├── metalevel.py ├── modelcheck.py ├── module-life.py ├── numbers.py ├── strategy.py ├── test.py ├── unify.py ├── variants.py └── vunarrow.py /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/.gitmodules -------------------------------------------------------------------------------- /CITATION.cff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/CITATION.cff -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/README.md -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/make.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/docs/make.bat -------------------------------------------------------------------------------- /docs/source/_templates/layout.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/docs/source/_templates/layout.html -------------------------------------------------------------------------------- /docs/source/babel.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/docs/source/babel.rst -------------------------------------------------------------------------------- /docs/source/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/docs/source/conf.py -------------------------------------------------------------------------------- /docs/source/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/docs/source/index.rst -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/pyproject.toml -------------------------------------------------------------------------------- /src/easyTerm.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/src/easyTerm.cc -------------------------------------------------------------------------------- /src/easyTerm.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/src/easyTerm.hh -------------------------------------------------------------------------------- /src/helper_funcs.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/src/helper_funcs.hh -------------------------------------------------------------------------------- /src/hooks.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/src/hooks.cc -------------------------------------------------------------------------------- /src/maude_wrappers.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/src/maude_wrappers.cc -------------------------------------------------------------------------------- /src/maude_wrappers.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/src/maude_wrappers.hh -------------------------------------------------------------------------------- /src/model_checking.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/src/model_checking.cc -------------------------------------------------------------------------------- /src/narrowing.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/src/narrowing.cc -------------------------------------------------------------------------------- /src/narrowing.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/src/narrowing.hh -------------------------------------------------------------------------------- /src/specific/python.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/src/specific/python.cc -------------------------------------------------------------------------------- /src/strategy_language.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/src/strategy_language.cc -------------------------------------------------------------------------------- /swig/common.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/swig/common.i -------------------------------------------------------------------------------- /swig/hook.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/swig/hook.i -------------------------------------------------------------------------------- /swig/maude.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/swig/maude.i -------------------------------------------------------------------------------- /swig/misc.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/swig/misc.i -------------------------------------------------------------------------------- /swig/module.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/swig/module.i -------------------------------------------------------------------------------- /swig/specific/csharp.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/swig/specific/csharp.i -------------------------------------------------------------------------------- /swig/specific/fallback.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/swig/specific/fallback.i -------------------------------------------------------------------------------- /swig/specific/java.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/swig/specific/java.i -------------------------------------------------------------------------------- /swig/specific/lua.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/swig/specific/lua.i -------------------------------------------------------------------------------- /swig/specific/python.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/swig/specific/python.i -------------------------------------------------------------------------------- /swig/strategy.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/swig/strategy.i -------------------------------------------------------------------------------- /swig/term.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/swig/term.i -------------------------------------------------------------------------------- /swig/vector.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/swig/vector.i -------------------------------------------------------------------------------- /swig/view.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/swig/view.i -------------------------------------------------------------------------------- /tests/example.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/example.maude -------------------------------------------------------------------------------- /tests/java/BuildTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/java/BuildTerm.java -------------------------------------------------------------------------------- /tests/java/Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/java/Test.java -------------------------------------------------------------------------------- /tests/node/maude_helpers.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/node/maude_helpers.js -------------------------------------------------------------------------------- /tests/node/test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/node/test.js -------------------------------------------------------------------------------- /tests/python/apply.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/apply.py -------------------------------------------------------------------------------- /tests/python/bm-fibonacci.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/bm-fibonacci.py -------------------------------------------------------------------------------- /tests/python/bm-reduce.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/bm-reduce.maude -------------------------------------------------------------------------------- /tests/python/bm-reduce.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/bm-reduce.py -------------------------------------------------------------------------------- /tests/python/buildTerm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/buildTerm.py -------------------------------------------------------------------------------- /tests/python/foo.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/foo.maude -------------------------------------------------------------------------------- /tests/python/graph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/graph.py -------------------------------------------------------------------------------- /tests/python/gui.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/gui.py -------------------------------------------------------------------------------- /tests/python/hooks.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/hooks.py -------------------------------------------------------------------------------- /tests/python/inter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/inter.py -------------------------------------------------------------------------------- /tests/python/loading.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/loading.py -------------------------------------------------------------------------------- /tests/python/match.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/match.py -------------------------------------------------------------------------------- /tests/python/maudedoc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/maudedoc.py -------------------------------------------------------------------------------- /tests/python/metalevel.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/metalevel.py -------------------------------------------------------------------------------- /tests/python/modelcheck.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/modelcheck.py -------------------------------------------------------------------------------- /tests/python/module-life.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/module-life.py -------------------------------------------------------------------------------- /tests/python/numbers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/numbers.py -------------------------------------------------------------------------------- /tests/python/strategy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/strategy.py -------------------------------------------------------------------------------- /tests/python/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/test.py -------------------------------------------------------------------------------- /tests/python/unify.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/unify.py -------------------------------------------------------------------------------- /tests/python/variants.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/variants.py -------------------------------------------------------------------------------- /tests/python/vunarrow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fadoss/maude-bindings/HEAD/tests/python/vunarrow.py --------------------------------------------------------------------------------