Skip to content

Tags: tlaplus/Examples

Tags

1.1.0

Toggle 1.1.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Add Apalache to CI (#141)

Signed-off-by: Andrew Helwer <[email protected]>

v1.0.0

Toggle v1.0.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Record state count info in manifest, check during CI (#122)

Signed-off-by: Andrew Helwer <[email protected]>