The following Python packages have been uploaded to PyPI, and they can be installed with pip install --upgrade maude
.
.whl
files can also be directly installed with pip
for the matching Python version (3.8, 3.9, 3.10, 3.11 and 3.12).
- This version is built against Maude 3.4.
- The new
=>#
search type of Maude 3.4 can be used asmaude.BRANCH
in thesearch
command. - Regression:
Term.arguments
recovers its default behavior before 1.3, i.e. it normalizes terms before iterating over its arguments.Term.arguments(False)
can be used to iterate over the unnormalized term, but the arguments are fragile objects that will be destroyed as soon as the whole term is destroyed. pyproject.toml
-based build using scikit-build-core instead of scikit-build.- New string constant
maude.MAUDE_VERSION
with the version of Maude against the library is built. In the binaries of this release it takes the value3.4+smc
.