jepsen-io elle issues - Githubissues

jepsen-io / elle

Black-box transactional safety checker based on cycle detection

Eclipse Public License 2.0

644 stars 34 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

False positive on lost update

#28 bsbds closed 4 months ago
2
Modeling linearizable keys with the list-append workload

#27 snaury opened 9 months ago
7
Cannot run on the latest version of Clojure on Ubuntu 22.04: reducers.clj is not found

#26 ligurio closed 10 months ago
8
PL-2L(monotonic-view) G-monotonic: experiment with adding the anomaly

#25 nurturenature opened 11 months ago
2
core/check: call write-cycles! correctly

#24 nurturenature closed 12 months ago
1
Is there any example on how to use the gen function?

#23 photoszzt closed 1 year ago
2
list-append/sorted-values might be broken with history object

#22 juangugit closed 1 year ago
3
Elle may miss two types of transaction anomalies:

#21 Tsunaou opened 1 year ago
4
Elle couldn't check list-append example described in a paper

#20 ligurio opened 1 year ago
2
Example with list-append history is broken in 0.1.6

#19 ligurio closed 1 year ago
1
Disable profiler

#18 ligurio closed 1 year ago
1
Could Elle tell the difference between snapshot isolation and strong-session-snapshot-isolation?

#17 Tsunaou closed 2 years ago
7
Could I check a history that with real-time order

#16 Tsunaou closed 2 years ago
7
Possible type of operation is :ok, not ok

#15 ligurio closed 2 years ago
0
Remove dead code

#14 ligurio closed 2 years ago
4
Publish jar files for each release

#13 ligurio closed 3 years ago
10
Fix jepsen.io link in README

#12 Groxx closed 3 years ago
1
Revert "Add check for mismatch of operations in history"

#11 aphyr closed 3 years ago
0
Add check for mismatch of operations in history

#10 aquarhead closed 3 years ago
4
Feature: add delete operation

#9 qvad closed 3 years ago
2
The rw-register checker succeeds on the history: wx1, rx2.

#8 stevana opened 4 years ago
0
The rw-register checker succeeds on the history: wx1, rx2...

#7 stevana closed 3 years ago
1
Fix a couple of reflection warnings.

#6 stevana closed 3 years ago
1
Elle checks :fail results?

#5 yito88 closed 4 years ago
1
Build fails with `lein check`

#4 bsdinis opened 4 years ago
4
Example for running test-cases with Elle?

#3 SungHoHong2 closed 3 years ago
1
Toy formalization of traceable datatypes

#2 nano-o closed 4 years ago
1
a few comments in Observation.thy

#1 nano-o closed 4 years ago
0