• v0.1.9 64bab69a36

    anthem 0.1.9 Stable

    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
  • v0.1.9-rc.5 c1e75afb71

    anthem 0.1.9 RC 5 Pre-Release

    patrick released this 2018-04-22 22:33:52 +02:00 | -8 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
  • 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
  • v0.1.9-rc.3 c4a457e9d8

    anthem 0.1.9 RC 3 Pre-Release

    patrick released this 2018-04-22 17:31:58 +02:00 | -4 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
  • 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
  • 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
  • v0.1.8 250942643c

    anthem 0.1.8 Stable

    patrick released this 2018-04-20 16:36:38 +02:00 | 33 commits to develop since this release

    Features

    • more and advanced simplification rules
    • adds support for exponentiation (power) and modulus (absolute value)
    • new examples: prime numbers, permutation generator, and graph coloring (extended)
    Downloads
  • v0.1.8-rc.3 ec88d26922

    anthem 0.1.8 RC 3 Pre-Release

    patrick released this 2018-04-12 01:06:52 +02:00 | 34 commits to develop since this release

    Features

    • more and advanced simplification rules
    • adds support for exponentiation (power) and modulus (absolute value)
    • new examples: prime numbers, permutation generator, and graph coloring (extended)
    Downloads
  • v0.1.8-rc.2 1372652d1c

    anthem 0.1.8 RC 2 Pre-Release

    patrick released this 2018-04-11 23:27:10 +02:00 | 36 commits to develop since this release

    Features

    • more and advanced simplification rules
    • adds support for exponentiation operator
    • new examples: prime numbers, permutation generator, and graph coloring (extended)
    Downloads
  • v0.1.8-rc.1 285fa08e5a

    anthem 0.1.8 RC 1 Pre-Release

    patrick released this 2018-04-11 21:44:40 +02:00 | 44 commits to develop since this release

    Features

    • more, advanced simplification rules
    Downloads