Issues
- 5
suggestion: a gen command
#70 opened by photoszzt - 2
Remove model jepsen-set OR jepsen-set-full
#41 opened by ligurio - 0
Remove model knossos-register
#42 opened by ligurio - 0
Add checker of sequential history
#33 opened by ligurio - 0
Add checker of comments history
#32 opened by ligurio - 3
- 5
Default to headless mode
#50 opened by mprimi - 0
- 2
`elle-rw-registers` always returns true
#47 opened by mprimi - 2
Plots not created (`elle-list-append`)
#48 opened by mprimi - 0
Remove checker name in options with models name
#38 opened by ligurio - 0
Fix jepsen-long-fork model
#43 opened by ligurio - 0
Fix jepsen-set model
#44 opened by ligurio - 3
- 1
- 4
Native binaries with GraalVM
#9 opened by stevana - 0
Pass multiple consistency models and anomalies in command line to elle's checkers
#4 opened by ligurio - 0
- 0
Fix publishing workflow
#3 opened by ligurio - 0