0.1.8

Overview

This release updates versions of Jepsen, Elle and fixes bugs.

Added

• An option --allow-negative-balances.

Fixed

• A set checker (#44).
• A long-fork checker (#43).

Changed

• Bump Elle version to 0.2.1.
• Bump Jepsen version to 0.3.7.

Removed

• Model names with prefixes jepsen- and knossos-.

0.1.7

Overview

This release updates versions of Jepsen, Elle and Knossos dependencies.

Added

• Shell script that runs a JAR file.

Changed

• Bump Elle version to 0.1.7.
• Bump Jepsen version to 0.3.3.
• Bump Knossos version to 0.3.9.

0.1.6

Overview

This release updates versions of Jepsen and Elle dependencies.

Changed

• Bump Elle version to 0.1.6.
• Bump Jepsen version to 0.3.0.

0.1.5

Overview

This release adds two checkers and removes Knossos register model.

Added

• Add a checker for comments test (#32).
• Add a checker for sequential test (#33).

Changed

• Knossos register model is removed. Use Elle's register instead. (#42).

0.1.4

Overview

This release adds a number of fixes, updates test descriptions in a README and updates Elle version to 0.1.5.

Fixed

• Fix setting of headless mode (#50).
• Fix exit code when history is not valid (#53).

Changed

• Updated test descriptions in a README (#37).
• Bump Elle version to 0.1.5.

0.1.3

Overview

This release adds a number of fixes and changes model names.

Fixed

• Fixed defaults for anomalies in a README.
• Fixed processing of Elle's list-append histories (#30).

Changed

• Checker names have been removed in models name. (#38)
  Old model names are left, but will be deprecated in next releases. 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
• Model "register" is planned to be removed in next releases. It is removed in documentation and usage, and it is recommended to use "rw-register" instead. (#42)

0.1.2

Overview

This release adds a number of fixes.

Fixed

• Fix --cycle-search-timeout, --plot-timeout, and --max-plot-bytes CLI arguments.
• Fix default value for --directory CLI argument.

Thanks to Aleksandr Sorokoumov @Gerrrr for fixes.

0.1.1

Overview

This release adds a number of fixes and improvements.

Added

• Add an example of rw-register history in JSON and EDN formats.
• Add a test script that runs elle-cli against histories.

Fixed

• Fix passed consistency models and anomalies via CLI (#4).
• Fix --plot-format CLI argument.
• Converts the first argument of :value vectors to keyword (#1).

Changed

• Make elle-cli defaults consistent with Elle (#7).
• Allow passing an empty consistency model.
• Update default values for CLI arguments so that they are aligned with Elle's.
• Bump Jepsen version to 0.2.6.
• Bump Elle version to 0.1.4.
• Use :strict-serializable as a default consistency model.
• Fix link for unreleased changes in changelog.
• Fix publishing workflow.
• Bump Knossos version to 0.3.8.
• Bump Elle version to 0.1.3.

Thanks to Aleksandr Sorokoumov @Gerrrr for many fixes and improvements.

0.1.0

Overview

Initial release.

New features

• Add integration with Elle 0.1.2 (list-append and rw-register checkers).
• Add integration with Jepsen 0.2.5 (bank, counter, long-fork, set and set-full checkers).
• Add integration with Knossos 0.3.7 (register, cas-register and mutex checkers).
• Support histories in EDN and JSON formats.