-
anthem 0.1.9 RC 5 Pre-Release
released this
2018-04-22 22:33:52 +02:00 | -8 commits to develop since this releaseFeatures
- optional detection of integer variables and integer predicate parameters
- command-line option
--detect-integers
to enable integer variable detection - support for declaring functions integer with the
#external
directive - new simplification rule applying to integer variables
Downloads