Revision history for quickcheck-lockstep

0.5.0 -- 2024-03-25

• BREAKING: Update quickcheck-dynamic dependency to >=3.4.1. The main change is that quickcheck-dynamic's StateModel class now has an associated type Error, the use of which is optional. However, as a result, some functions in quickcheck-lockstep change type signatures: the default monitoring function, runActions, and runActionsBracket.

0.4.1 -- 2024-03-20

• PATCH: fix compilation failures when using mtl ^>=2.3

0.4.0 -- 2024-02-17

• BREAKING: Counter-examples now produce valid code. To facilitate this, HasVariables and Show instances have changed, and a new unsafeMkGVar smart constructor is exposed.
• Add compatibility with ghc-9.8

0.3.0 -- 2023-10-17

• BREAKING: Update quickcheck-dynamic dependency to >=3.3.
• Add compatibility with ghc-9.6 (Javier Sagredo)

0.2.1 -- 2022-12-06

• Expose necessary definitions for custom Operation instances (Joris Dral)

0.2.0 -- 2022-11-11

• Relax bounds on base (support up to ghc 9.4)
• Show real/mock response in addition to observable response (see showRealResponse)
• Add labelActions function
• Generalise runActionsBracket (Joris Dral)
• Expose getter for the model in Lockstep (Joris Dral)

0.1.0 -- 2022-10-11

• First release