speculate 0.4.10 → 0.4.12
raw patch · 3 files changed
+57/−4 lines, 3 filesdep ~express
Dependency ranges changed: express
Files
- changelog.md +52/−0
- speculate.cabal +4/−3
- stack.yaml +1/−1
+ changelog.md view
@@ -0,0 +1,52 @@+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`]: 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].++[git commit history]: https://github.com/rudymatela/speculate/commits/master++[Speculate]: https://hackage.haskell.org/package/speculate/docs/Test-Speculate.html+[`Test.Speculate`]: https://hackage.haskell.org/package/speculate/docs/Test-Speculate.html+[LeanCheck]: https://hackage.haskell.org/package/leancheck/docs/Test-LeanCheck.html+[express]: https://hackage.haskell.org/package/express
speculate.cabal view
@@ -1,5 +1,5 @@ name: speculate-version: 0.4.10+version: 0.4.12 synopsis: discovery of properties about Haskell functions description: Speculate automatically discovers laws about Haskell functions.@@ -21,6 +21,7 @@ cabal-version: 1.18 extra-doc-files: README.md+ , changelog.md , TODO.md , doc/speculate.svg extra-source-files: .gitignore@@ -86,7 +87,7 @@ source-repository this type: git location: https://github.com/rudymatela/speculate- tag: v0.4.10+ tag: v0.4.12 library@@ -123,7 +124,7 @@ , Test.Speculate.Utils.Tuple build-depends: base >= 4 && < 5 , leancheck >= 0.9.6- , express >= 0.1.10+ , express >= 0.2.0 , cmdargs , containers hs-source-dirs: src
stack.yaml view
@@ -5,4 +5,4 @@ extra-deps: - leancheck-0.9.10-- express-0.1.14+- express-0.2.0