TLA+ specification of Flexible Paxos
Stars
42
Forks
1
Watchers
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
48
commits
adding simulation with tlc to ci
89cab54
adding setting for tla+ vscode plug-in
324e21c
upping the number of values/ballots for 4 acceptor config
49aaf12
updating citation file
a807c3a
96c3a62
adding citation file
b16a2a6
adding bounded model checking to CI
973e66a
Renaming new message variables
22f33b6
removing mix typed records for Apalache
867837a
updating readme
ff6601a
simplifed github actions
27aa635
updating github action
163fc2c
attempted fix round 2
833d78e
temp fix
0ff4947
testing for more general github actions
430b306