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

21 Releases 21 Tags

  • v0.1.9-rc.4 934dceac6e

    anthem 0.1.9 RC 4 Pre-Release

    patrick released this 2018-04-22 21:13:13 +02:00 | -5 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