GitHub - ashishnegi/learn_tlaplus: Learn TLA+ specification

Name		Name	Last commit message	Last commit date
Latest commit History 87 Commits
sflogcrash.toolbox/NoDataLoss		sflogcrash.toolbox/NoDataLoss
tstorepscal.toolbox/test1		tstorepscal.toolbox/test1
.gitignore		.gitignore
TCommitOriginal.tla		TCommitOriginal.tla
carwheel.tla		carwheel.tla
carwheel2.tla		carwheel2.tla
diehard.tla		diehard.tla
doctor.tla		doctor.tla
floyd.tla		floyd.tla
floyd_exercise.tla		floyd_exercise.tla
paxoscommit.pdf		paxoscommit.pdf
paxoscommit.tla		paxoscommit.tla
property.tla		property.tla
reader_writer.tla		reader_writer.tla
sflogcrash.pdf		sflogcrash.pdf
sflogcrash.tla		sflogcrash.tla
tcommit.tla		tcommit.tla
tstore.tla		tstore.tla
tstorepscal.tla		tstorepscal.tla
twophase.tla		twophase.tla
writebuffer.tla		writebuffer.tla