commit - c660bce8c10041aa3353f4fb8269eca7f3ffb228
commit + 6b24d33e39f59b95a912c809251b5f58db6c2c26
blob - fd7011ff02cfab1b505d595cf052b1f886539c6a
blob + 99f65920b4652ecd47a6c8a14e3101b469a0b057
--- CHANGELOG.md
+++ CHANGELOG.md
### 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
(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
(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))