patrick
/
anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

21 Releases 21 Tags

  • v0.1.9-rc.2 d6821dd4de

    anthem 0.1.9 RC 2 Pre-Release

    patrick released this 2018-04-21 19:02:26 +02:00 | -1 commits to develop since this release

    Features

    • 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