Markus Alexander Kuppe 2069c68c8a Minimize number of TLC configuration files. (#6511) ... Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>		2024-09-30 09:35:32 +01:00
..
consensus	Minimize number of TLC configuration files. (#6511)	2024-09-30 09:35:32 +01:00
consistency	New definition of TxID ordered speculative linearizability (#6185)	2024-06-14 15:00:19 +00:00
.gitignore	Adding TLC stats to cimetrics (#5807)	2023-11-07 22:07:05 +00:00
StatsFile.tla	Minimize number of TLC configuration files. (#6511)	2024-09-30 09:35:32 +01:00
actions.py	Reduce noise of TLAi linter. (#6103)	2024-03-28 09:31:26 +00:00
install_deps.py	Update TLA+ dev container to include new TLA+ vscode extension (#6460)	2024-09-04 14:18:38 +00:00
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	Add an easy way to create traces and run validation (#5818)	2023-11-08 15:00:49 +00:00
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	TLA+ specification for client consistency (#5699)	2023-10-16 13:29:20 +01:00
trace2scen.py	RaftDriver: Add `assert_detail` (#6007)	2024-02-09 15:59:04 +00:00