Maude

The following Python packages are **not yet** uploaded to [PyPI](https://pypi.org/project/maude). `.whl` files can be directly installed with `pip` for the matching Python version (3.7, 3.8, 3.9, and 3.10).

Bug fixes
---------
* Overwritten modules (i.e. replaced by another module of the same name) were not internally released in Maude when its wrapper object becomes unreachable (reported in 3).

Improvements
------------
* New method `Symbol.hasAttr` to check some attributes of the operator like associativity (`OP_ASSOC`), commutativity (`OP_COMM`), whether it is iterable (`OP_ITER`), idempotent (`OP_IDEM`), has left identity (`OP_LEFT_ID`), right identity (`OP_RIGHT_ID`), memoization `OP_MEMO` (with memoization), or is special (i.e. primitive, `OP_SPECIAL`). It takes as argument one of the global constants enumerated above.
* New methods `getIdentity`, `getFrozen`, `getStrategy`, `getPrec`, `getFormat`, and `getIdHooks` of `Symbol` to obtain the identity constant, the `frozen` attribute, the reduction strategy, the syntactic precedence, the format specification, and the id-hooks associated to that symbol.
* New method `Term.getIterExponent` to get the exponent of [`iter` operators](https://maude.lcc.uma.es/maude321-manual-html/maude-manualch4.html#x19-470004.4.2) (suggested in 2).

The following Python packages have been uploaded to [PyPI](https://pypi.org/project/maude), 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.6, 3.7, 3.8, 3.9, and 3.10).

Improvements
------------
* All module module elements (`Sort`, `Kind`, `Equation`, `Rule`, ...) are now hashable and comparable for equality. This allows using them in data structures like dictionaries and sets in Python.
* The methods `parseTerm` and `parseStrategy` of `Module` can now receive an optional additional argument with a collection of variables to be declared before parsing. This provides the functionality of the second argument of `metaParse` (see [§17.6.13](https://maude.lcc.uma.es/maude321-manual-html/maude-manualch17.html#x102-25500017.6.13) of the Maude manual).

The following Python packages have been uploaded to [PyPI](https://pypi.org/project/maude), 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.6, 3.7, 3.8, 3.9, and 3.10).

Small improvements
------------------
* Two new methods have been added to the `Kind` class: `nrMaximalSort` to obtain the number of maximal sorts (according to the subsort relation) and `errorFree` to know whether error terms are contained in the kind.

Bug fixes
---------
* The methods `getCondition` and `isNonexec` were missing in the `MembershipAxiom` class.
* Custom special operators with `id-hook SpecialHubSymbol (name)` forgot the `name` when being imported.

The following Python packages have been uploaded to [PyPI](https://pypi.org/project/maude), 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.6, 3.7, 3.8, 3.9, and 3.10).

Bug fixes
---------
* `Term` objects produced by `Symbol.makeTerm` were not properly garbage-collected.
* The Python packages now include the `process.maude` and `time.maude` files of the Maude distribution (known problem in 1.1.0).

The following Python packages have been uploaded to [PyPI](https://pypi.org/project/maude), 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.6, 3.7, 3.8, 3.9, and 3.10).

The following Python packages have been uploaded to [PyPI](https://pypi.org/project/maude), 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.6, 3.7, 3.8, 3.9, and 3.10).

Bug fixes
---------

* Using the `getLine` message of the stream and file API caused a segmentation fault.
* The underlying Maude implementation (`libmaude.so`) contained a bug related to the probabilistic strategy language.