Public alpha 144

• fixed a bug where special symbols other than strings that started with " were not recognized.
• fixed a bug where renamings that mapped parameterized constants were not being correctly instantiated
• fixed a bug where operators with the same name but different arities could confuse renamings generated to instantiate modules
• fixed a bug where a change of parameter was not supported for parameterized polymorphic constants
• fixed a large family of bugs where identifiers that looked like parameters but which were not ("pseudo parameters") could clash with actual parameters by enforcing new constraints
• fixed a bug where a constant from a parameter theory that looked like a parameterized constant was being treated as such for various operations

Maude 3.3

Official Maude 3.3 release.

• overparsing for omitting -> in constant mapping removed due to ambiguity
• various gcc/clang warnings fixed
• show path states command now shows rule labels
• fixed a subtle bug with narrowing with variant unification in the presence of irreducibility constraints
• fixed a bug where certain debugging information was printing in the debug build even without the -debug flag
• added set generate-by command
• optimization for free theory dag nodes
• pre-built binaries now work on older operating systems

Maude 3.3beta

• show path states command
• fixed bug where generated-by was not recognized as the end of the previous mixfix statement
• fixed bug where orphaned view instantiations were not being purged
• fixed bug where replacing a view did not immediately purge modules that became orphaned as a result
• heuristics for giving detailed explanations of runaway statements
• fixed bug where parameterized constants were printed without parentheses in an ops declaration
• more overparsing

Public alpha 141

• fixed bug in parsing of oths
• fixed statement transformation depending on memory allocator issue
• -debug flag for debug build
• fixed bad printing of renamings in module names
• fixed op to term mapping in theory-view crash
• support pconst in op to term mappings
• sanity checks for class attributes
• fixed bug where auto OO includes were ignored by upModule()
• modules/views/commands cannot span files

Public alpha 140

• fixed bug where no warning was given for duplicate iter attribute
• pconst attribute for constants
• parameterized constants
• generated-by importation mode
• show processed view command
• classes can be parameterized
• object-oriented theories
• object-oriented mappings in views
• fixed bug where []s around bound parameter were shown in imported module name with show desugared

Public alpha 139

• syntactic sugar for empty attribute set in object constructor
• changed reporting of syntax errors in sort and subset declarations
• fixed bug where automatic imports were included in meta-theories
• getClass() added to CONFIGURATION
• allow "from" as a sort name
• fixed spurious advisory where a specific renaming did not capture an operator from a parameter
• identity sort/op mappings quietly dropped during renaming canonicalization
• advisory if all the variables in the pattern of a := condition fragment are bound before matching
• fixed bug where advisory about a specific strat renaming affecting a theory parameter printed 0 rather than the strat name
• prettier printing of , for attribute sets
• first attempt at supporting omods and OO mappings in renamings
• fixed bug where a view from T importing M to M was not allowed
• fixed a related bug where a misleading warning was given for theory-views that implicitly mapped a sort from module to the target theory

Maude 3.2.2

• fixed bug where multiple instantiations (say via a theory-view) was generating bad internal names for sorts
• fixed bug where the first sort in a kind printed by show mod was including backquotes
• show desugared is now a documented feature
• desugar omod to mod, oth to th
• fixed bug where filtered variant unify crashed in the degenerate case where there were no variables
• fixed issue where SIGSTKSZ is no longer guaranteed to be a compile-time constant in glibc
• fixed issue with fileTest failing in environments when first user file handle is something other than 3

Maude 3.2.1

• use filtered variant unification for unifying with goal when filter
  flag is passed to vu-narrow

Maude 3.2

Official Maude 3.2 release.

3.2 beta

• fixed bug in the Yices bindings where constraints were being
  asserted twice
• fixed bug in the prelude where projection functions didn't work for
  parameterized meta-modules
• fixed bug in the handling of extension information for iter symbols
• fixed bug in loop mode where it would try to continue using state left
  over from some incompatible command