Changelog for speculate-0.4.12
Changelog for Speculate
upcoming
- bump express requirement to v0.2.0
- add this changelog
v0.4.10
- no changes in the actual Speculate library
- cleanup build files
- remove uneeded typeable derivations on examples and tests
v0.4.8
- 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
Test.Speculate
: exportreifyName
;- "internal" modules:
Test.Speculate.Args
: removecompareExpr
;Test.Speculate.Engine
: add three new wrappers for "theory and representatives";Test.Speculate.Expr.Core
: rename functions tocompareLexicographicallyBy
andcompareComplexityThenIndex
;Test.Speculate.Function
: addFunction.A10
andA100
andA1000
;Test.Speculate.Reason
: exportisRootNormal
andisRootNormalE
;
- add trilean benchmark;
- improve order tests.
Earlier versions
Please refer to the git commit history.