Commits


Add changelog entry with bump Elle version Follows up commit ba031d88e7d6 ("Bump Elle version").


Bump Elle version Elle [1] has been updated. 1. https://github.com/jepsen-io/elle/releases/tag/v0.2.1


Bump copyright year


Add changelog entry with bump Jepsen version Follows up commit 96f553869d32 ("Bump Jepsen version").


Bump Elle version Elle has been updated to version 0.2.0 [1]. The failed testcase has been removed, see [2]. 1. https://github.com/jepsen-io/elle/releases/tag/v0.2.0 2. https://github.com/jepsen-io/elle/issues/20


Bump Jepsen version Jepsen [1] has been updated. 1. https://github.com/jepsen-io/jepsen/releases/tag/v0.3.4


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