diff --git a/CHANGELOG.md b/CHANGELOG.md index 639422e..a574f02 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -18,6 +18,7 @@ change log follows the conventions of ### Changed - Updated test descriptions in a README. (#37) +- Bump Elle version to 0.1.5. ## [0.1.3] - 2022-05-11 diff --git a/README.md b/README.md index 19805cb..4ec253d 100644 --- a/README.md +++ b/README.md @@ -75,13 +75,15 @@ An Elle's checker for write-read registers. Options are: `consistent-view`, `conflict-serializable`, `cursor-stability`, `forward-consistent-view`, `monotonic-snapshot-read`, `monotonic-view`, `read-committed`, `read-uncommitted`, `repeatable-read`, `serializable`, - `snapshot-isolation`, `strict-serializable`, `update-serializable`. + `snapshot-isolation`, `strict-serializable`, `strong-serializable`, + `update-serializable`. - **anomalies** - a collection of specific anomalies you'd like to look for. Defaults to `G0`. Possible values are: `G0`, `G0-process`, `G0-realtime`, `G1a`, `G1b`, `G1c`, `G1c-process`, `G-single`, `G-single-process`, `G-single-realtime`, `G-nonadjacent`, `G-nonadjacent-process`, `G-nonadjacent-realtime`, `G2-item`, `G2-item-process`, `G2-item-realtime`, - `G2-process`, `GSIa`, `GSIb`, `incompatible-order`, `dirty-update`. + `G2-process`, `GSIa`, `GSIb`, `incompatible-order`, `dirty-update`, + `lost-update`, `write-skew`. - **cycle-search-timeout** - how many milliseconds are we willing to search a single SCC for a cycle? Default value is `1000`. - **directory** - where to output files, if desired. Default value is `nil`. @@ -127,13 +129,15 @@ Options are: `consistent-view`, `conflict-serializable`, `cursor-stability`, `forward-consistent-view`, `monotonic-snapshot-read`, `monotonic-view`, `read-committed`, `read-uncommitted`, `repeatable-read`, `serializable`, - `snapshot-isolation`, `strict-serializable`, `update-serializable`. + `snapshot-isolation`, `strict-serializable`, `strong-serializable`, + `update-serializable`. - **anomalies** - a collection of specific anomalies you'd like to look for. Defaults to `G0`. Possible values are: `G0`, `G0-process`, `G0-realtime`, `G1a`, `G1b`, `G1c`, `G1c-process`, `G-single`, `G-single-process`, `G-single-realtime`, `G-nonadjacent`, `G-nonadjacent-process`, `G-nonadjacent-realtime`, `G2-item`, `G2-item-process`, `G2-item-realtime`, - `G2-process`, `GSIa`, `GSIb`, `incompatible-order`, `dirty-update`. + `G2-process`, `GSIa`, `GSIb`, `incompatible-order`, `dirty-update`, + `lost-update`, `write-skew`. - **cycle-search-timeout** - how many milliseconds are we willing to search a single SCC for a cycle? Default value is `1000`. - **directory** - where to output files, if desired. Default value is `nil`. diff --git a/project.clj b/project.clj index dc08c84..1200ea7 100644 --- a/project.clj +++ b/project.clj @@ -13,6 +13,6 @@ [org.clojure/tools.logging "1.1.0"] [org.clojure/data.json "2.4.0"] [spootnik/unilog "0.7.28"] ; required by elle - [elle "0.1.4"] + [elle "0.1.5"] [jepsen "0.2.6"] [knossos "0.3.8"]])