Loreon
Labs
Platform
Docs
Home
Ecosystems
TLA
formal-specs
TLA+, Alloy, and other formal specification artifacts
TLA
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
10d ago
Recent commits
Latest commits.
Fix Invariant: \= -> #, cfg points at Invariant
bc1e02a
Brandon High
10d ago
Fix Makefile JVM flags; sync spec rewrite
f0a7f3c
Brandon High
10d ago
Add Makefile, DieHard.cfg, gitignore tla2tools.jar
4bd1918
Brandon High
10d ago
Add Empty actions, pour actions, and Next
6086eb4
Brandon High
10d ago
Add Init: both jugs start empty
f030adf
Brandon High
10d ago
Add TypeOK invariant
cf418e7
Brandon High
10d ago
Add DieHard: variables and Fill actions
323d762
Brandon High
10d ago
Initial structure: tla+/die-hard/, README, .gitignore
0c7c4d6
Brandon High
10d ago
Top contributors
Builders behind this project.
highb
8 commits
