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

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

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

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

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

Closes #37

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

Fixes #50 Reported-by: Marco Primi <marco@mpri.me>

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

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

Part of #38

Part of #38

Fixes #30

Part of #30