Commits


Release 0.1.3


Remove model register in documentation Description of model "register" has been removed in documentation and usage in order to deduplicate a number of models for similar histories. Option itself will be removed later. Part of #42


Add models with names wo checker name in prefix Map with old and new names: elle-rw-register -> rw-register elle-list-append -> list-append jepsen-bank -> bank jepsen-counter -> counter jepsen-set -> set jepsen-set-full -> set-full jepsen-long-fork -> long-fork knossos-register -> register knossos-cas-register -> cas-register knossos-mutex -> mutex Old model names will be deprecated in next releases. Closes #38


Remove checker-group Part of #38


Remove case-switch per checker-group Part of #38


Remove extra import


Normalize ops for Knossos histories only Fixes #30


Pass a checker group to read-history() from outside Part of #30


Bump copyright year


Fixed defaults for anomalies in a README


Release 0.1.2


Fix release date


Fix default value for --directory CLI argument


Cast timeout and max-bytes arguments to int


Run regression tests per commit


Fix tag name in publishing workflow Follows up #3


Add example with rw-register history to the README


Release 0.1.1


Fix publishing workflow Building and publishing release files should happen on push tags to master branch only. Follows up #3


readme: use rw-register history in example Command line arguments in example were wrong: specified consistency model is rw-register when file with history for list-append. Patch replaces a filename passed to file with filename of rw-register history.


Allow passing empty consistency models


histories: add an example of rw register history $ java -jar target/elle-cli-0.1.0-standalone.jar --model elle-rw-register histories/elle/rw-register.json histories/elle/rw-register.json true $ java -jar target/elle-cli-0.1.0-standalone.jar --model elle-rw-register histories/elle/rw-register.edn histories/elle/rw-register.edn true


Make elle-cli defaults consistent with elle


Bump Elle and Jepsen versions - Changes in Jepsen 0.2.6 [1] - Changes in Elle 0.1.4 [2] 1. https://github.com/jepsen-io/jepsen/releases/tag/v0.2.6 2. https://github.com/jepsen-io/elle/compare/v0.1.3...v0.1.4


Add missed entries to changelog Follows up #1 Follows up #4