commit 6b24d33e39f59b95a912c809251b5f58db6c2c26
from: Sergey Bronnikov <estetus@gmail.com>
date: Tue Nov 15 08:46:56 2022 UTC

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

commit - c660bce8c10041aa3353f4fb8269eca7f3ffb228
commit + 6b24d33e39f59b95a912c809251b5f58db6c2c26
blob - fd7011ff02cfab1b505d595cf052b1f886539c6a
blob + 99f65920b4652ecd47a6c8a14e3101b469a0b057
--- CHANGELOG.md
+++ CHANGELOG.md
@@ -17,6 +17,8 @@ change log follows the conventions of
 
 ### Changed
 
+- Knossos register model is removed. Use Elle's register instead. (#42).
+
 ## [0.1.4] - 2022-06-30
 
 [0.1.4]: https://github.com/ligurio/elle-cli/compare/0.1.3...0.1.4
blob - 4251b1a28d2c23839abdd02bd63545c607f7a88b
blob + 4e08be26071a55ec73f573fb747c1f0bb2bbc0eb
--- src/elle_cli/cli.clj
+++ src/elle_cli/cli.clj
@@ -73,10 +73,8 @@
     (mapv keyword (str/split s #","))))
 
 (def models
-  {"knossos-register"        knossos-model/register
-   "knossos-cas-register"    knossos-model/cas-register
+  {"knossos-cas-register"    knossos-model/cas-register
    "knossos-mutex"           knossos-model/mutex
-   "register"                knossos-model/register
    "cas-register"            knossos-model/cas-register
    "mutex"                   knossos-model/mutex
    "jepsen-bank"             jepsen-bank/checker
@@ -185,10 +183,8 @@
     (case model-name
        ; Operations in a histories passed to a Knossos additionally normalized,
        ; see src/knossos/cli.clj:read-history.
-       "register" (competition/analysis (checker-fn) (history/parse-ops history))
        "cas-register" (competition/analysis (checker-fn) (history/parse-ops history))
        "mutex" (competition/analysis (checker-fn) (history/parse-ops history))
-       "knossos-register" (competition/analysis (checker-fn) (history/parse-ops history))
        "knossos-cas-register" (competition/analysis (checker-fn) (history/parse-ops history))
        "knossos-mutex" (competition/analysis (checker-fn) (history/parse-ops history))
        "comments" ((independent/checker (checker-fn)) (history/parse-ops history))