patrick
released this
2018-05-04 17:11:29 +02:00
| 1 commits to develop since this release
Changes
- turns on completion and simplification by default, which can now be switched off with
--no-complete and --no-simplify
Features
- detection of integer variables and integer predicate parameters
- command-line option
--no-detect-integers to disable integer variable detection
- new simplification rule applying to integer variables
- support for declaring functions integer with the
#external directive
Bug Fixes
- fixes incorrect translation of unsupported choice rules with multiple elements by returning an error instead
- fixes precedence of intervals by enclosing them in parentheses
Downloads