Release 0.1.6

Bump Elle and Jepsen Update Jepsen [1] and Elle [2] libraries to the latest versions. History paper-example.{edn,json} has been updated and field `:process` been added, see [3]. 1. https://github.com/jepsen-io/jepsen/releases/tag/v0.3.0 2. https://github.com/jepsen-io/elle/releases/tag/v0.1.6 3. https://github.com/jepsen-io/elle/issues/20

Release 0.1.5

Update .gitignore

Fix project description

Knossos register is gone Commit 4e55c2e ("Remove model register in documentation") removed knossos register model in documentation. This commit finally removes model itself. Use elle's register instead. Closes #42

Add a checker for sequential test Closes #33

Add a checker for comments test Closes #32

Bump Jepsen version Version of Jepsen has been updated to 0.2.7, see changes in [1] and [2]. 1. https://github.com/jepsen-io/jepsen/compare/v0.2.6...v0.2.7 2. https://github.com/jepsen-io/jepsen/releases/tag/v0.2.7

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