Makefile

lockserver/client.cc

proof/IR.tla

proof/IR_consensus.tla

proof/TAPIR.tla

proof/Test.tla

proof/VR.tla

proof/VR_MC_constants

replication/ir/client.cc

replication/ir/replica.cc

replication/vr/replica.cc

store/common/backend/kvstore.h

store/common/backend/tests/Rules.mk

test-client/Rules.mk

test-client/test-client-proto.proto

test-client/test-client.cc

test-client/test1

test-client/test2