This repository has been archived by the owner on Feb 12, 2022. It is now read-only.
v0.2.8
- Change error message when evaluating PossiblyNormalCompletion
- Added --omitInvariants option to prevent invariants from being included in generated code.
- Print out call stack in default error handler
- More simplifications
- Add missing check for invalid use of Map
- Simplify if conditions