Search results

Augmenting rw-register tests with whitebox version information

Status: Open.

#30 In jepsen-io/elle;

· will62794 opened on Feb 17, 2026

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

Status: Open.

#29 In jepsen-io/elle;

· georgyshamteev opened on Apr 4, 2025

Modeling linearizable keys with the list-append workload

Status: Open.

#27 In jepsen-io/elle;

· snaury opened on Feb 12, 2024

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

Status: Open.

#25 In jepsen-io/elle;

· nurturenature opened on Dec 19, 2023

Elle may miss two types of transaction anomalies:

Status: Open.

#21 In jepsen-io/elle;

· Tsunaou opened on May 3, 2023

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

Status: Open.

#20 In jepsen-io/elle;

· ligurio opened on Dec 6, 2022

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

Status: Open.

#8 In jepsen-io/elle;

· stevana opened on Oct 15, 2020