Commit Briefs

Sergey Bronnikov

Release 0.1.3 (tags/0.1.3)


Sergey Bronnikov

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


Sergey Bronnikov

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


Sergey Bronnikov

Remove checker-group

Part of #38


Sergey Bronnikov

Remove case-switch per checker-group

Part of #38


Sergey Bronnikov

Remove extra import


Sergey Bronnikov

Normalize ops for Knossos histories only

Fixes #30


Sergey Bronnikov

Pass a checker group to read-history() from outside

Part of #30


Sergey Bronnikov

Bump copyright year


Sergey Bronnikov

Fixed defaults for anomalies in a README


Sergey Bronnikov

Release 0.1.2 (tags/0.1.2)


Sergey Bronnikov

Fix release date



Sergey Bronnikov

Cast timeout and max-bytes arguments to int


Sergey Bronnikov

Run regression tests per commit


Sergey Bronnikov

Fix tag name in publishing workflow

Follows up #3



Sergey Bronnikov

Release 0.1.1 (tags/0.1.1)


Sergey Bronnikov

Fix publishing workflow

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


Sergey Bronnikov

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.


Sergey Bronnikov

Allow passing empty consistency models


Sergey Bronnikov

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


Sergey Bronnikov

Make elle-cli defaults consistent with elle


Sergey Bronnikov

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


Sergey Bronnikov

Add missed entries to changelog

Follows up #1 Follows up #4