ligurio/elle-cli issues and pull requests

#73 - Bump Jepsen version to 0.3.7

Pull Request - State: closed - Opened by ligurio 4 months ago

#72 - Bump Elle (v0.2.1) version

Pull Request - State: closed - Opened by ligurio 10 months ago

#71 - Bump dependencies (Elle v0.2.0)

Pull Request - State: closed - Opened by ligurio about 1 year ago - 1 comment

#70 - suggestion: a gen command

Issue - State: closed - Opened by photoszzt over 1 year ago - 5 comments

#69 - Bump Jepsen version

Pull Request - State: closed - Opened by ligurio over 1 year ago

#68 - Release 0.1.7

Pull Request - State: closed - Opened by ligurio over 1 year ago

#67 - Bump Elle and Jepsen versions

Pull Request - State: closed - Opened by ligurio over 1 year ago

#66 - Bump jepsen and knossos

Pull Request - State: closed - Opened by ligurio almost 2 years ago

#65 - Add Lua rockspec

Pull Request - State: closed - Opened by ligurio about 2 years ago

#64 - Add a shell script that runs JAR file

Pull Request - State: closed - Opened by ligurio about 2 years ago

#63 - Release 0.1.6

Pull Request - State: closed - Opened by ligurio about 2 years ago

#62 - Release 0.1.5

Pull Request - State: closed - Opened by ligurio about 2 years ago

#61 - Update gitignore

Pull Request - State: closed - Opened by ligurio about 2 years ago

#60 - Fix project description

Pull Request - State: closed - Opened by ligurio about 2 years ago

#59 - Knossos register is gone

Pull Request - State: closed - Opened by ligurio about 2 years ago

#58 - Bump Elle (0.1.6) and Jepsen (0.3.0)

Pull Request - State: closed - Opened by ligurio about 2 years ago

#57 - Bump Jepsen version

Pull Request - State: closed - Opened by ligurio over 2 years ago

#56 - Release 0.1.4

Pull Request - State: closed - Opened by ligurio over 2 years ago

#55 - Bump Elle 0.1.5

Pull Request - State: closed - Opened by ligurio over 2 years ago

#54 - Fix exit code when history is not valid

Pull Request - State: closed - Opened by ligurio over 2 years ago - 2 comments

#53 - Exit with non-zero exit code if any history fails verification

Issue - State: closed - Opened by mprimi over 2 years ago - 3 comments

#52 - Fix setting of headless mode

Pull Request - State: closed - Opened by ligurio over 2 years ago - 3 comments

#51 - Just a build test (Java headless)

Pull Request - State: closed - Opened by mprimi over 2 years ago - 2 comments

#50 - Default to headless mode

Issue - State: closed - Opened by mprimi over 2 years ago - 5 comments

#49 - Add example traces (plus typo in README)

Pull Request - State: closed - Opened by mprimi almost 3 years ago - 2 comments

#48 - Plots not created (`elle-list-append`)

Issue - State: closed - Opened by mprimi almost 3 years ago - 2 comments

#47 - `elle-rw-registers` always returns true

Issue - State: closed - Opened by mprimi almost 3 years ago - 2 comments

#46 - Release 0.1.3

Pull Request - State: closed - Opened by ligurio almost 3 years ago

#45 - Remove knossos register model

Pull Request - State: closed - Opened by ligurio almost 3 years ago

#44 - Fix jepsen-set model

Issue - State: open - Opened by ligurio almost 3 years ago

#43 - Fix jepsen-long-fork model

Issue - State: open - Opened by ligurio almost 3 years ago

#42 - Remove model knossos-register

Issue - State: closed - Opened by ligurio almost 3 years ago

#41 - Remove model jepsen-set OR jepsen-set-full

Issue - State: open - Opened by ligurio almost 3 years ago - 2 comments

#40 - Remove checker name in options with models name

Pull Request - State: closed - Opened by ligurio almost 3 years ago

#39 - Update model descriptions

Pull Request - State: closed - Opened by ligurio almost 3 years ago

#38 - Remove checker name in options with models name

Issue - State: closed - Opened by ligurio almost 3 years ago

#37 - Describe operation generators for models in a README

Issue - State: closed - Opened by ligurio almost 3 years ago

#36 - Add a checker for sequential test

Pull Request - State: closed - Opened by ligurio almost 3 years ago

#35 - Add a checker for comments test

Pull Request - State: closed - Opened by ligurio almost 3 years ago

#34 - Remove extra import

Pull Request - State: closed - Opened by ligurio almost 3 years ago

#33 - Add checker of sequential history

Issue - State: closed - Opened by ligurio almost 3 years ago

#32 - Add checker of comments history

Issue - State: closed - Opened by ligurio almost 3 years ago

#31 - Fix processing Elle's list-append histories

Pull Request - State: closed - Opened by ligurio almost 3 years ago

#30 - Trouble in processing some Elle list-append histories

Issue - State: closed - Opened by temeo almost 3 years ago - 3 comments

#29 - Bump copyright year

Pull Request - State: closed - Opened by ligurio almost 3 years ago

#28 - Fixed defaults for anomalies in a README

Pull Request - State: closed - Opened by ligurio almost 3 years ago

#27 - Release 0.1.2

Pull Request - State: closed - Opened by ligurio almost 3 years ago

#26 - Fix default value for --directory CLI argument

Pull Request - State: closed - Opened by Gerrrr almost 3 years ago

#25 - Cast timeout and max-bytes arguments to int

Pull Request - State: closed - Opened by Gerrrr almost 3 years ago - 1 comment

#24 - Add example with rw-register history to the README

Pull Request - State: closed - Opened by ligurio about 3 years ago

#23 - Run regression tests per commit

Pull Request - State: closed - Opened by ligurio about 3 years ago

#22 - Fix tag name in publishing workflow

Pull Request - State: closed - Opened by ligurio about 3 years ago

#21 - Release 0.1.1

Pull Request - State: closed - Opened by ligurio about 3 years ago

#20 - readme: use rw-register history in example

Pull Request - State: closed - Opened by ligurio about 3 years ago

#19 - Allow passing empty consistency models

Pull Request - State: closed - Opened by Gerrrr about 3 years ago - 3 comments

#18 - histories: add an example of rw register history

Pull Request - State: closed - Opened by ligurio about 3 years ago

#17 - Bump elle and jepsen versions, update changelog

Pull Request - State: closed - Opened by ligurio about 3 years ago

#16 - Make elle-cli defaults consistent with elle

Pull Request - State: closed - Opened by Gerrrr about 3 years ago - 2 comments

#15 - Fix --plot-format CLI argument

Pull Request - State: closed - Opened by Gerrrr about 3 years ago

#14 - Publish release files on push tag only

Pull Request - State: closed - Opened by ligurio about 3 years ago

#13 - test: add a script that runs elle-cli against histories

Pull Request - State: closed - Opened by ligurio about 3 years ago

#12 - Fix passing consistency models and anomalies via CLI

Pull Request - State: closed - Opened by Gerrrr about 3 years ago - 3 comments

#11 - Use :strict-serializable as a default consistency model

Pull Request - State: closed - Opened by Gerrrr about 3 years ago

#10 - Convert the first argument of :value vectors to keyword

Pull Request - State: closed - Opened by Gerrrr about 3 years ago - 1 comment

#9 - Native binaries with GraalVM

Issue - State: closed - Opened by stevana about 3 years ago - 4 comments

#8 - Fix link for unreleased changes in changelog

Pull Request - State: closed - Opened by ligurio about 3 years ago

#7 - not caught exception on running Elle with list-append history

Issue - State: closed - Opened by ligurio about 3 years ago - 1 comment

#6 - Bump lib versions (Elle and Knossos)

Pull Request - State: closed - Opened by ligurio about 3 years ago

#5 - Fix publishing workflow

Pull Request - State: closed - Opened by ligurio about 3 years ago

#4 - Pass multiple consistency models and anomalies in command line to elle's checkers

Issue - State: closed - Opened by ligurio about 3 years ago

#3 - Fix publishing workflow

Issue - State: closed - Opened by ligurio about 3 years ago

#2 - Print unknown status as a string not Clojure keyword

Issue - State: open - Opened by ligurio about 3 years ago

#1 - Failed to process history for checker elle-list-append

Issue - State: closed - Opened by ligurio about 3 years ago

GitHub / ligurio/elle-cli issues and pull requests