package ortac-qcheck-stm

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