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

anthem 0.1.9 RC 5

Pre-release
Pre-release
Compare
Choose a tag to compare
@pluehne pluehne released this 22 Apr 22:12
· 67 commits to master since this release
v0.1.9-rc.5
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.
c1e75af
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.

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

Checksums

anthem-0.1.9-rc.5-linux-x86_64.tar.gz

algorithm checksum
MD5 65c037946c367cc3df1419bf708a4112
SHA-256 cc8cfa8f1150944ccc0eae2d40d72eb0ebb4d28171f17d7c9a72dcb83e0eafa9
SHA-512 c5cf2afffc4a9e38b378ac739d3f7e658fe83a4ebf613eab3a9ed91a333f3643cc863a9dbab0bdbefb375109b2dac95e0f558565281de842e01385f703d1b095
Assets 4
Loading