Bump Elle version

Version of Elle has been updated to 0.1.5 [1]. Transactional models and
anomalies synced with Elle.

1. jepsen-io/elle@v0.1.4...v0.1.5

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
 

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`.

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"]])