Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 | 2 | -20/+42 |
| | |||||
* | 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 | 5 | -21/+95 |
| | |||||
* | refactor jepsen test | Alex Auvolat | 2023-10-18 | 3 | -155/+244 |
| | |||||
* | remove useless files | Alex Auvolat | 2023-10-18 | 5 | -310/+3 |
| | |||||
* | 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 | 3 | -37/+64 |
| | |||||
* | better match exceptions | Alex Auvolat | 2023-10-18 | 1 | -9/+11 |
| | |||||
* | jepsen: s3 gets and puts | Alex Auvolat | 2023-10-18 | 7 | -102/+141 |
| | |||||
* | jepsen connects to vagrant vms | Alex Auvolat | 2023-10-18 | 8 | -124/+38 |
| | |||||
* | jepsen ssh into containers seem to work ? | Alex Auvolat | 2023-10-18 | 7 | -19/+150 |
| | |||||
* | jepsen: wip | Alex Auvolat | 2023-10-18 | 12 | -0/+471 |