Skip to content

Releases: usi-verification-and-security/athena

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
Learn about vigilant mode.
Compare
Choose a tag to compare
athena-1.1.0 Latest
Latest

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.
Assets 2
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
Learn about vigilant mode.
Compare
Choose a tag to compare
athena-1.0.0

Initial release.

Assets 2
Loading