Issues
- 1
- 0
- 1
- 0
About the YCSB+T benchmark
#17 opened by morcelicaio - 0
Liveness bug in VSR implementation: Client table and uncommitted ops after view change
#16 opened by jorangreef - 0
Correctness bug in VSR implementation: A replica in recovery status participates in view changes
#15 opened by jorangreef - 0
Typo in HandleDoViewChange
#14 opened by ShenJiahuan - 0
Benchmark clients do not abort
#12 opened by ug93tad - 1
downloadable tla+ specs
#5 opened by glycerine - 10
Can't parse message of type "replication.vr.proto.UnloggedReplyMessage" because it is missing required fields: clientreqid
#4 opened by glycerine - 4
go/running the tests
#3 opened by glycerine - 2
Does this example have a license?
#2 opened by wjsl - 2
What about Windows version?
#1 opened by win32nipuh