Skip to content

Releases: runtimeverification/giskard-verification

Giskard 1.1 maintenance release of model and proofs

28 Nov 19:38
@palmskog palmskog
v1.1
ca807a0
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
Giskard 1.1 maintenance release of model and proofs Latest
Latest

Maintenance release of Giskard consensus protocol model and safety property proofs, compatible with Coq 8.10 to Coq 8.16. Fixes deprecations.

Assets 2
Loading

Initial release of Giskard model and proofs

06 Oct 17:14
@palmskog palmskog
v1.0
47fb351
Compare
Choose a tag to compare
Initial release of Giskard model and proofs

Initial release of the Giskard consensus protocol Coq model and formal proofs of protocol safety properties, compatible with Coq version 8.12.

Assets 3
Loading