Issues

• Augmenting rw-register tests with whitebox version information

  jepsen-io/elle#30 · Filter by author will62794 opened on Feb 17, 2026
  4

• Elle txns generator doesn't currently support choosing between read/write intensive workload.

  jepsen-io/elle#29 · Filter by author georgyshamteev opened on Apr 4, 2025
  9

• Modeling linearizable keys with the list-append workload

  jepsen-io/elle#27 · Filter by author snaury opened on Feb 12, 2024
  7

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

  jepsen-io/elle#25 · Filter by author nurturenature opened on Dec 19, 2023
  2

• Elle may miss two types of transaction anomalies:

  jepsen-io/elle#21 · Filter by author Tsunaou opened on May 3, 2023
  4

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

  jepsen-io/elle#20 · Filter by author ligurio opened on Dec 6, 2022
  2

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

  jepsen-io/elle#8 · Filter by author stevana opened on Oct 15, 2020