jepsen-io / elle

Black-box transactional safety checker based on cycle detection

jepsen-io/elle Issues

Modeling linearizable keys with the list-append workload
Updated 5 months ago7
Cannot run on the latest version of Clojure on Ubuntu 22.04: reducers.clj is not found
Closed 5 months ago8
Elle couldn't check list-append example described in a paper
Updated 6 months ago2
PL-2L(monotonic-view) G-monotonic: experiment with adding the anomaly
Updated 7 months ago2
Elle may miss two types of transaction anomalies:
Updated 8 months ago4
Is there any example on how to use the gen function?
Closed 8 months ago2
Could Elle tell the difference between snapshot isolation and strong-session-snapshot-isolation?
Closed 2 years ago7
list-append/sorted-values might be broken with history object
Closed 10 months ago3
Example with list-append history is broken in 0.1.6
Closed 2 years ago1
Could I check a history that with real-time order
Closed 2 years ago7
Publish jar files for each release
Closed 3 years ago10
Build fails with `lein check`
Updated 3 years ago4
Feature: add delete operation
Closed 3 years ago2
Example for running test-cases with Elle?
Closed 3 years ago1
The rw-register checker succeeds on the history: wx1, rx2.
Updated 4 years ago
Elle checks :fail results?
Closed 4 years ago1