jepsen-io/elle

Issues

• False positive on lost update

  #28 opened 4 months ago by bsbds
  2

• Modeling linearizable keys with the list-append workload

  #27 opened 10 months ago by snaury
  7

• Cannot run on the latest version of Clojure on Ubuntu 22.04: reducers.clj is not found

  #26 opened 10 months ago by ligurio
  8

• Elle couldn't check list-append example described in a paper

  #20 opened 2 years ago by ligurio
  2

• PL-2L(monotonic-view) G-monotonic: experiment with adding the anomaly

  #25 opened a year ago by nurturenature
  2

• Elle may miss two types of transaction anomalies:

  #21 opened 2 years ago by Tsunaou
  4

• Is there any example on how to use the gen function?

  #23 opened a year ago by photoszzt
  2

• Could Elle tell the difference between snapshot isolation and strong-session-snapshot-isolation?

  #17 opened 2 years ago by Tsunaou
  7

• list-append/sorted-values might be broken with history object

  #22 opened a year ago by juangugit
  3

• Example with list-append history is broken in 0.1.6

  #19 opened 2 years ago by ligurio
  1

• Could I check a history that with real-time order

  #16 opened 3 years ago by Tsunaou
  7

• Publish jar files for each release

  #13 opened 3 years ago by ligurio
  10

• Build fails with `lein check`

  #4 opened 4 years ago by bsdinis
  4

• Feature: add delete operation

  #9 opened 3 years ago by qvad
  2

• Example for running test-cases with Elle?

  #3 opened 3 years ago by SungHoHong2
  1

• The rw-register checker succeeds on the history: wx1, rx2.

  #8 opened 4 years ago by stevana
  0

• Elle checks :fail results?

  #5 opened 4 years ago by yito88
  1