|
|
6dcb9d31ff
|
reformatting
|
2023-04-19 22:17:20 +02:00 |
|
|
|
a549122acd
|
Check read-after-write property for sets
|
2023-04-19 22:02:03 +02:00 |
|
|
|
70f042131f
|
set tests with independant tests together
|
2023-04-19 16:16:34 +02:00 |
|
|
|
4e0584a438
|
two set workloads with different checkers
|
2023-04-19 15:59:30 +02:00 |
|
|
|
2b70fe47e2
|
Add garage set test (this one works :p)
|
2023-04-19 15:27:26 +02:00 |
|
|
|
e95e2e0dfe
|
refactor jepsen test
|
2023-04-19 14:14:22 +02:00 |
|
|
|
ce1cb543e8
|
remove useless files
|
2023-04-19 12:57:22 +02:00 |
|
|
|
cc5a677bac
|
the fix for increasing timestamps does not make things linearizable
|
2023-04-18 18:21:35 +02:00 |
|
|
|
7d0523883a
|
even without nemesis, s3 get/put/delete is not linearizable (is this normal?)
|
2023-04-18 17:47:53 +02:00 |
|
|
|
ab736be9f0
|
better match exceptions
|
2023-04-18 16:19:35 +02:00 |
|
|
|
6dd7195d4e
|
jepsen: s3 gets and puts
|
2023-04-18 16:10:07 +02:00 |
|
|
|
f4a6e78459
|
jepsen connects to vagrant vms
|
2023-04-18 13:59:03 +02:00 |
|
|
|
71910ef109
|
jepsen ssh into containers seem to work ?
|
2023-04-18 13:27:22 +02:00 |
|
|
|
1f3d92fb84
|
jepsen: wip
|
2023-04-18 12:14:13 +02:00 |
|
