migrate the rest of jepsen's models

jepsen-io / knossos

Verifies the linearizability of experimentally accessible histories.

398 stars 31 forks source link

Closed mkcp closed 6 years ago

mkcp commented 6 years ago

Helped our friends: Set, UnorderedQueue, and FIFOQueue move in to knossos. Great to have you with us