Release 0.1.4

Bump Elle version Version of Elle has been updated to 0.1.5 [1]. Transactional models and anomalies synced with Elle. 1. https://github.com/jepsen-io/elle/compare/v0.1.4...v0.1.5

Fix exit code when history is not valid Patch changes exit code to 1 when at least one file with history is not valid. Fixes #53

Disable trace mode on running tests Test script now reports status for each testcase, trace mode looks unnecessary. Needed for #53

Update tests Wrap each testcase by a small function which checks that history checking status corresponds to expected result. Needed for #53

Fix indentation

Print file path when file not found

Fix placement for changelog entry Changelog entry for commit "Update test descriptions" was accidentally added to a section for released version.

Update test descriptions Closes #37

Fix running testing twice Now testing in pull request is started twice: on push event and pull_request synchronize event. Patch enables testing on push event only with push to a master branch and on push tag only. By default, only the opened, synchronize, and reopened activity types trigger workflows that run on the pull_request event, see [1]. 1. https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request

Fix setting of headless mode Fixes #50 Reported-by: Marco Primi <marco@mpri.me>

Fix typo in a README

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