Skip to content

Releases: usi-verification-and-security/athena

athena-1.1.1

14 Feb 16:45
@rodrigo7491 rodrigo7491
athena-1.1.1
ae05ef2
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
athena-1.1.1 Latest
Latest

Updated Documentation

  • Added note regarding support for the alfc checker.
  • Added FAC paper to the publication list.
Assets 2
Loading

athena-1.1.0

20 Jun 12:26
@rodrigo7491 rodrigo7491
athena-1.1.0
846703b
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
athena-1.1.0

New Features

  • Support for benchmarks containing both arrays and LIA constraints.
  • Support for AletheLF proofs produced by cvc5.
  • Support for the alfc proof checker.
  • Postprocessing step for aggregation of layers’ results per input file.
Loading

athena-1.0.0

04 Jun 13:20
@rodrigo7491 rodrigo7491
athena-1.0.0
7d4426c
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
athena-1.0.0

Initial release.

Loading