mirror of
https://github.com/nick8325/quickspec.git
synced 2024-09-11 08:35:32 +03:00
44 lines
1.4 KiB
Plaintext
44 lines
1.4 KiB
Plaintext
QuickSpec 2.2 (released 2023-09-21)
|
|
* Compatibility with more recent GHC versions.
|
|
* 'generator' for defining a custom generator for a particular data type.
|
|
* 'withMaxFunctions' for limiting the maximum number of function
|
|
symbols per term.
|
|
* 'withConsistencyCheck' (experimental) for reporting when the
|
|
discovered laws imply a false law.
|
|
* Improvements to pruning.
|
|
|
|
QuickSpec 2.1.5 (released 2020-08-31)
|
|
* Give =~= an explicit fixity (thanks to Sandy Maguire).
|
|
* More Observe instances (thanks to Sandy Maguire).
|
|
|
|
QuickSpec 2.1.4 (released 2020-07-17)
|
|
* Compatibility with random-1.2.0.0.
|
|
|
|
QuickSpec 2.1.3 (released 2020-07-16)
|
|
* 'variableUse' for limiting how variables can appear in a term.
|
|
* TypeApplication-friendly combinators (thanks to Sandy Maguire).
|
|
* '=~=' for using Observe in QuickCheck properties
|
|
(thanks to Sandy Maguire).
|
|
* 'withPrintStyle' for printing out laws as QuickCheck properties
|
|
(thanks to Sandy Maguire).
|
|
* Bug fixes.
|
|
|
|
QuickSpec 2.1.2 (released 2019-08-20)
|
|
|
|
* Implementation changes.
|
|
|
|
QuickSpec 2.1.1 (released 2019-04-05)
|
|
-------------------------------------
|
|
|
|
* Builds on GHC 7.10.
|
|
* Better presentation of discovered equations.
|
|
* Prints a warning when Ord or Arbitrary instances are missing.
|
|
* Limited support for partial functions.
|
|
* Experimental support for type class polymorphism.
|
|
* Numerous bug fixes.
|
|
|
|
QuickSpec 2 (released 2018-02-23)
|
|
---------------------------------
|
|
|
|
New, much better version of QuickSpec.
|