Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | reformatting | Alex Auvolat | 2023-10-18 | 1 | -4/+1 |
* | Check read-after-write property for sets | Alex Auvolat | 2023-10-18 | 1 | -5/+43 |
* | set tests with independant tests together | Alex Auvolat | 2023-10-18 | 1 | -20/+35 |
* | two set workloads with different checkers | Alex Auvolat | 2023-10-18 | 3 | -8/+18 |
* | Add garage set test (this one works :p) | Alex Auvolat | 2023-10-18 | 4 | -19/+93 |
* | refactor jepsen test | Alex Auvolat | 2023-10-18 | 3 | -155/+244 |
* | the fix for increasing timestamps does not make things linearizable | Alex Auvolat | 2023-10-18 | 1 | -2/+3 |
* | even without nemesis, s3 get/put/delete is not linearizable (is this normal?) | Alex Auvolat | 2023-10-18 | 1 | -22/+38 |
* | better match exceptions | Alex Auvolat | 2023-10-18 | 1 | -9/+11 |
* | jepsen: s3 gets and puts | Alex Auvolat | 2023-10-18 | 1 | -4/+136 |
* | jepsen connects to vagrant vms | Alex Auvolat | 2023-10-18 | 1 | -1/+2 |
* | jepsen: wip | Alex Auvolat | 2023-10-18 | 1 | -0/+18 |