Showing
- lockserver/Rules.mk 28 additions, 5 deletionslockserver/Rules.mk
- lockserver/client-main.cc 103 additions, 0 deletionslockserver/client-main.cc
- lockserver/client.cc 57 additions, 97 deletionslockserver/client.cc
- 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
lockserver/client-main.cc
0 → 100644
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