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

21 Releases 21 Tags

  • v0.1.9-rc.1 53c96f0fe7

    anthem 0.1.9 RC 1 Pre-Release

    patrick released this 2018-04-20 16:43:22 +02:00 | 10 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
    Downloads