Heidi Howard bf4fcff670 New definition of TxID ordered speculative linearizability (#6185)		2024-06-14 15:00:19 +00:00
..
consensus	Typed model values in consensus spec (#6229)	2024-06-06 12:42:13 +00:00
consistency	New definition of TxID ordered speculative linearizability (#6185)	2024-06-14 15:00:19 +00:00
.gitignore	…
StatsFile.tla	Reduce noise of TLAi linter. (#6103)	2024-03-28 09:31:26 +00:00
actions.py	Reduce noise of TLAi linter. (#6103)	2024-03-28 09:31:26 +00:00
install_deps.py	…
last_line.sh	Add details of last matching line in TV CI (#6017)	2024-02-13 16:14:00 +00:00
loc.py	A trivial TLA+ loc counter (#6152)	2024-04-29 10:29:57 +01:00
make_traces.sh	…
requirements.txt	Add action number plotting script (#6074)	2024-03-21 12:15:42 +00:00
tlc.sh	Raft: Nodes stay active later during reconfiguration to ensure liveness (#5973)	2024-03-15 11:10:44 +00:00
tlc_debug.sh	…
trace2scen.py	RaftDriver: Add `assert_detail` (#6007)	2024-02-09 15:59:04 +00:00