Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | refactor jepsen code | Alex Auvolat | 2023-10-18 | 5 | -77/+83 |
| | |||||
* | refactor jepsen setup logic | Alex Auvolat | 2023-10-18 | 1 | -46/+85 |
| | |||||
* | jepsen: update jepsen and fix garage key info | Alex Auvolat | 2023-10-18 | 1 | -1/+1 |
| | |||||
* | jepsen: update to garage 0.9.0 | Alex Auvolat | 2023-10-18 | 2 | -6/+10 |
| | |||||
* | 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 |