Showing
- lockserver/client.h 22 additions, 6 deletionslockserver/client.h
- lockserver/locks-proto.proto 2 additions, 0 deletionslockserver/locks-proto.proto
- lockserver/lockserver-repl.cc 80 additions, 0 deletionslockserver/lockserver-repl.cc
- lockserver/server-main.cc 62 additions, 0 deletionslockserver/server-main.cc
- lockserver/server.cc 130 additions, 60 deletionslockserver/server.cc
- lockserver/server.h 19 additions, 7 deletionslockserver/server.h
- lockserver/tests/Rules.mk 16 additions, 0 deletionslockserver/tests/Rules.mk
- lockserver/tests/lockserver-test.cc 343 additions, 0 deletionslockserver/tests/lockserver-test.cc
- proof/IR.tla 526 additions, 0 deletionsproof/IR.tla
- proof/IR_consensus.tla 833 additions, 0 deletionsproof/IR_consensus.tla
- proof/TAPIR.tla 272 additions, 0 deletionsproof/TAPIR.tla
- proof/Test.tla 64 additions, 0 deletionsproof/Test.tla
- proof/VR.tla 763 additions, 0 deletionsproof/VR.tla
- proof/VR_MC_constants 8 additions, 0 deletionsproof/VR_MC_constants
- replication/common/client.cc 15 additions, 3 deletionsreplication/common/client.cc
- replication/common/client.h 34 additions, 12 deletionsreplication/common/client.h
- replication/common/quorumset.h 19 additions, 6 deletionsreplication/common/quorumset.h
- replication/common/request.proto 2 additions, 0 deletionsreplication/common/request.proto
- replication/ir/Rules.mk 1 addition, 1 deletionreplication/ir/Rules.mk
- replication/ir/client.cc 304 additions, 171 deletionsreplication/ir/client.cc
lockserver/lockserver-repl.cc
0 → 100644
lockserver/server-main.cc
0 → 100644
lockserver/tests/Rules.mk
0 → 100644
lockserver/tests/lockserver-test.cc
0 → 100644
proof/IR.tla
0 → 100644
This diff is collapsed.
proof/IR_consensus.tla
0 → 100644
This diff is collapsed.
proof/TAPIR.tla
0 → 100644
proof/Test.tla
0 → 100644
proof/VR.tla
0 → 100644
This diff is collapsed.
proof/VR_MC_constants
0 → 100644
This diff is collapsed.