Skip to content

athena-1.1.0

Latest
Latest
Compare
Choose a tag to compare
@rodrigo7491 rodrigo7491 released this 20 Jun 12:26
· 1 commit to master since this release
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.

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