issues
search
ligurio
/
elle-cli
The command-line frontend to transactional consistency checkers for black-box databases
Other
27
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Release 0.1.8
#80
ligurio
closed
1 day ago
0
Introduce an option to control bank model
#79
ligurio
closed
1 day ago
0
Fix long fork checker
#78
ligurio
closed
1 day ago
0
Getting rid of deprecated models names
#77
ligurio
closed
1 day ago
0
Fix a set checker
#76
ligurio
closed
1 day ago
0
Update a set and set-full description
#75
ligurio
closed
1 day ago
0
Add a bank history
#74
ligurio
closed
1 day ago
0
Bump Jepsen version to 0.3.7
#73
ligurio
closed
1 week ago
0
Bump Elle (v0.2.1) version
#72
ligurio
closed
6 months ago
0
Bump dependencies (Elle v0.2.0)
#71
ligurio
closed
9 months ago
1
suggestion: a gen command
#70
photoszzt
closed
12 months ago
5
Bump Jepsen version
#69
ligurio
closed
1 year ago
0
Release 0.1.7
#68
ligurio
closed
1 year ago
0
Bump Elle and Jepsen versions
#67
ligurio
closed
1 year ago
0
Bump jepsen and knossos
#66
ligurio
closed
1 year ago
0
Add Lua rockspec
#65
ligurio
closed
1 year ago
0
Add a shell script that runs JAR file
#64
ligurio
closed
1 year ago
0
Release 0.1.6
#63
ligurio
closed
1 year ago
0
Release 0.1.5
#62
ligurio
closed
1 year ago
0
Update gitignore
#61
ligurio
closed
1 year ago
0
Fix project description
#60
ligurio
closed
1 year ago
0
Knossos register is gone
#59
ligurio
closed
1 year ago
0
Bump Elle (0.1.6) and Jepsen (0.3.0)
#58
ligurio
closed
1 year ago
0
Bump Jepsen version
#57
ligurio
closed
2 years ago
0
Release 0.1.4
#56
ligurio
closed
2 years ago
0
Bump Elle 0.1.5
#55
ligurio
closed
2 years ago
0
Fix exit code when history is not valid
#54
ligurio
closed
2 years ago
2
Exit with non-zero exit code if any history fails verification
#53
mprimi
closed
2 years ago
3
Fix setting of headless mode
#52
ligurio
closed
2 years ago
3
Just a build test (Java headless)
#51
mprimi
closed
2 years ago
2
Default to headless mode
#50
mprimi
closed
2 years ago
5
Add example traces (plus typo in README)
#49
mprimi
closed
2 years ago
2
Plots not created (`elle-list-append`)
#48
mprimi
closed
2 years ago
2
`elle-rw-registers` always returns true
#47
mprimi
closed
2 years ago
2
Release 0.1.3
#46
ligurio
closed
2 years ago
0
Remove knossos register model
#45
ligurio
closed
2 years ago
0
Fix jepsen-set model
#44
ligurio
closed
1 day ago
0
Fix jepsen-long-fork model
#43
ligurio
closed
1 day ago
0
Remove model knossos-register
#42
ligurio
closed
1 year ago
0
Remove model jepsen-set OR jepsen-set-full
#41
ligurio
closed
1 day ago
2
Remove checker name in options with models name
#40
ligurio
closed
2 years ago
0
Update model descriptions
#39
ligurio
closed
2 years ago
0
Remove checker name in options with models name
#38
ligurio
closed
2 years ago
0
Describe operation generators for models in a README
#37
ligurio
closed
2 years ago
0
Add a checker for sequential test
#36
ligurio
closed
2 years ago
0
Add a checker for comments test
#35
ligurio
closed
2 years ago
0
Remove extra import
#34
ligurio
closed
2 years ago
0
Add checker of sequential history
#33
ligurio
closed
2 years ago
0
Add checker of comments history
#32
ligurio
closed
2 years ago
0
Fix processing Elle's list-append histories
#31
ligurio
closed
2 years ago
0
Next