Unreleased

Remove unnecessary stack access from precondition #264

0.4.0

Add support for running tests in separate processes with a timeout #259
Add Reserr.{traverse,traverse_,promote_mapi}, rename Reserr.map to Reserr.promote_map and remove Reserr.concat_map #250
Fix display of the runnable scenario for protected values #251
Add support for returning sut values #253
Add support for multiple sut arguments #247
Fix sut as type argument or inside tuple bug #245

0.3.0

Read an optional cleanup function from configuration module #226
Fix field access translation #229
Add support for functional type in model #230
Remove bug in qcheck-stm plugin when returning integers #240
Add support for testing functions with tuple arguments/return values #237
Add dune-rules plugin #190 #218
Add support for testing functions without a sut argument #235
Add error for empty command type #234
Move to a module-based configuration #214
Add support for custom ghost types as model #228

0.2.0

Make --help and --version work even without any plugins installed #217
Improve test-failure message #202 and #204 and #206
Add a comment warning that the file is generated #198
Add support for type invariants #197
Add an include option to qcheck-stm cli #181
Add a quiet flag #179
Check for out of scope variables #175
Translate constant integer patterns with a guard testing for equality #174

0.1.0

Initial release