Release 0.1.7

Bump Elle and Jepsen versions Elle [2] and Jepsen [1] have been updated. 1. https://github.com/jepsen-io/jepsen/releases/tag/v0.3.3 2. https://github.com/jepsen-io/elle/releases/tag/v0.1.7

Bump Jepsen version to 0.3.2

Bump Knossos version to 0.3.9

Add a shell script that runs JAR file ``` $ ./elle-cli Usage: elle-cli --help $ ./elle-cli --help elle-cli - command-line transactional safety checker. Usage: elle-cli -m model [options] files Supported models: ... ```

Bump copyright year

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