- Add the protect-call optional argument #205
- Add a comment warning that the file is generated #198
- 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
- Initial release