Skip to content

Tags: AthenaFoundation/athena

Tags

v1.5.4

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Update version.txt

v1.5.4

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.

v1.4.3

V1.4.3

v1.4.2

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
V1.4.2 (#8)

* fix: vamp_proof_line assigned vampire's output in the case of refutation

* Makefile clean recipe doesn't delete all contents in build directory; only athena-specific files

* bump minor version

* fix vamp_proof_line

v1.4.1

Fix release workflow