Skip to content
This repository has been archived by the owner on Aug 28, 2024. It is now read-only.

anthem 0.1.9
Compare
Choose a tag to compare
@pluehne pluehne released this 04 May 15:17
· 36 commits to master since this release
v0.1.9
This tag was signed with the committer’s verified signature. The key has expired.
pluehne Patrick Lühne
GPG key ID: 05F3611E97A70ABF
Expired
Learn about vigilant mode.
64bab69
This commit was signed with the committer’s verified signature. The key has expired.
pluehne Patrick Lühne
GPG key ID: 05F3611E97A70ABF
Expired
Learn about vigilant mode.

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

Checksums

anthem-0.1.9-linux-x86_64.tar.gz

algorithm checksum
MD5 d1789465a4eaddf6ed6ac55d526a9fa9
SHA-256 4afd5f2e87fc1c0bc6a7c1fb2eb69256bc7708bb544b0be7468423ce99f25d41
SHA-512 d61993979106e65ff19d328f6aef0f082193a7277f980eb076ab769c094ace8643f98d00e4176d30e3065a10510493ded81ec3fb72cebe716f17a5e1b7b35037
Assets 4
Loading