Changelog for Speculate

v0.4.20 (February 2024)

• minor changes only
• improve consider by favouring the normalization only if it reduces the number of variables
• revert back (v0.4.16) to using vanilla syntactic unification instead of syntactic unification modulo commutativity
• some internal refactoring

v0.4.18 (February 2024)

• Test.Speculate.Expr.Ground: add constify and constifications
• Reason: fix groundJoinable with the last criterium
• Reason: use unificationsC to unify
• minor improvements in the code
• rework test scripts and Makefile
• remove stale tests

v0.4.16 (February 2024)

• no changes in API
• fix compatibility with express >= v1.0.16
• bump LeanCheck requirement to >= 1.0.0
• improve tests of Speculate itself
• add release dates on this changelog

v0.4.14 (September 2021)

• Test.Speculate.Reason: add doubleCheck;
• add lowtests benchmark;
• bump express requirement to v1.0.0;
• fix parallel compilation when using the Makefile.

v0.4.12 (July 2021)

• bump express requirement to v0.2.0
• add this changelog

v0.4.10 (June 2021)

• no changes in the actual Speculate library
• cleanup build files
• remove uneeded typeable derivations on examples and tests

v0.4.8 (June 2021)

• no changes in the actual Speculate library
• refactor build scripts
• use GitHub Workflows as the CI
• fix compilation of some examples under the new LeanCheck

v0.4.6 (April 2021)

• Test.Speculate: export reifyName;
• "internal" modules:
  • Test.Speculate.Args: remove compareExpr;
  • Test.Speculate.Engine: add three new wrappers for "theory and representatives";
  • Test.Speculate.Expr.Core: rename functions to compareLexicographicallyBy and compareComplexityThenIndex;
  • Test.Speculate.Function: add Function.A10 and A100 and A1000;
  • Test.Speculate.Reason: export isRootNormal and isRootNormalE;
• add trilean benchmark;
• improve order tests.

Earlier versions

Please refer to the git commit history.