Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
.gitignore		.gitignore
2pc.tla		2pc.tla
ABProtocol.tla		ABProtocol.tla
Bakery.tla		Bakery.tla
BoundedBuffer.tla		BoundedBuffer.tla
BoundedBuffer2.tla		BoundedBuffer2.tla
BoundedChannel.tla		BoundedChannel.tla
Dekker.tla		Dekker.tla
Dekker2.tla		Dekker2.tla
DieHard.tla		DieHard.tla
EuclidSedgewickpstyle.tla		EuclidSedgewickpstyle.tla
FairProcess.cfg		FairProcess.cfg
FairProcess.tla		FairProcess.tla
FastMutex.tla		FastMutex.tla
Hello.tla		Hello.tla
Increment.tla		Increment.tla
LICENSE		LICENSE
MessageBatchDrainTest.tla		MessageBatchDrainTest.tla
MessageBatchDrainTest2.tla		MessageBatchDrainTest2.tla
MessageBatchDrainTest3.tla		MessageBatchDrainTest3.tla
OneBitClock.cfg		OneBitClock.cfg
OneBitClock.tla		OneBitClock.tla
OneBitProtocol.tla		OneBitProtocol.tla
PCalBoundedChannel.tla		PCalBoundedChannel.tla
RAFT.tla		RAFT.tla
README.md		README.md
TwoPhaseCommit.cfg		TwoPhaseCommit.cfg
TwoPhaseCommit.tla		TwoPhaseCommit.tla
add.tla		add.tla
eu.tla		eu.tla
euclid.tla		euclid.tla
test.cfg		test.cfg
test.tla		test.tla

Repository files navigation

pluscal

Tests with PlusCal / TLA+

Tests with PlusCal / TLA+

27 stars

2 watching