Issues
- 5
- 2
- 1
Is it possible to test distrubuted file systems like HDFS using the existed models?
#32 opened by hexiecs - 1
Process already running and :info messages.
#31 opened by insumity - 10
Assertion errors from Java
#27 opened by itamararjuan - 4
- 10
- 6
- 16
Linearizability algorithms
#6 opened by ahorn - 4
Is this an non linearizable result?
#16 opened by gaodq - 6
java.lang.AssertionError: Assert failed: i
#8 opened by balopat - 8
More documentation about getting started?
#14 opened by mstewartgallus - 1
Should process ids be 64 bits long?
#15 opened by mstewartgallus - 20
- 1
Knossos seems to fail linearizable results
#13 opened by gator1 - 1
README still mentions missing Redis example
#11 opened by Blaisorblade - 4
- 3
Handling of failed CAS and timeouts
#5 opened by ahorn - 4