Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove checker name in options with models name #38

Closed
ligurio opened this issue Apr 28, 2022 · 0 comments · Fixed by #40
Closed

Remove checker name in options with models name #38

ligurio opened this issue Apr 28, 2022 · 0 comments · Fixed by #40

Comments

@ligurio
Copy link
Owner

ligurio commented Apr 28, 2022 •
edited
Loading

There is no sense to include a checker name to a model name. Checker is specified in a model description in a documentation.
ligurio added a commit that referenced this issue Apr 29, 2022
@ligurio
Deprecate option knossos-register in documentation
f15f344 
Description of option "knossos-register" has been removed in
documentation and usage in order to deduplicate a number of models for
similar or same histories. Option itself will be removed later.

Part of #38
ligurio added a commit that referenced this issue Apr 29, 2022
@ligurio
Remove case-switch with models prefixes
ddf8032 
Needed for #38
ligurio added a commit that referenced this issue Apr 29, 2022
@ligurio
Rename options with model's names
33e28b7 
Closes #38
@ligurio ligurio mentioned this issue Apr 29, 2022
Merged
@ligurio ligurio changed the title Remove prefixes from model names Remove checker name in options with models name Apr 29, 2022
ligurio added a commit that referenced this issue Apr 29, 2022
@ligurio
Rename options with model's names
98ebc90 
Closes #38
ligurio added a commit that referenced this issue Apr 29, 2022
@ligurio
Rename options with model's names
454988a 
Closes #38
ligurio added a commit that referenced this issue May 2, 2022
@ligurio
Remove case-switch per checker-group
1487adf 
Part of #38
ligurio added a commit that referenced this issue May 2, 2022
@ligurio
Remove checker-group
7349ff5 
Part of #38
ligurio added a commit that referenced this issue May 2, 2022
@ligurio
Add models with names wo checker name in prefix
7c11c41 
Map with old and new names:

elle-rw-register -> rw-register
elle-list-append -> list-append
jepsen-bank -> bank
jepsen-counter -> counter
jepsen-set -> set
jepsen-set-full -> set-full
jepsen-long-fork -> long-fork
knossos-register -> register
knossos-cas-register -> cas-register
knossos-mutex -> mutex

Old model names will be deprecated in next releases.

Closes #38
ligurio added a commit that referenced this issue May 2, 2022
@ligurio
Add models with names wo checker name in prefix
03d44e7 
Map with old and new names:

elle-rw-register -> rw-register
elle-list-append -> list-append
jepsen-bank -> bank
jepsen-counter -> counter
jepsen-set -> set
jepsen-set-full -> set-full
jepsen-long-fork -> long-fork
knossos-register -> register
knossos-cas-register -> cas-register
knossos-mutex -> mutex

Old model names will be deprecated in next releases.

Closes #38
ligurio added a commit that referenced this issue May 2, 2022
@ligurio
Add models with names wo checker name in prefix
276bb06 
Map with old and new names:

elle-rw-register -> rw-register
elle-list-append -> list-append
jepsen-bank -> bank
jepsen-counter -> counter
jepsen-set -> set
jepsen-set-full -> set-full
jepsen-long-fork -> long-fork
knossos-register -> register
knossos-cas-register -> cas-register
knossos-mutex -> mutex

Old model names will be deprecated in next releases.

Closes #38
ligurio added a commit that referenced this issue May 3, 2022
@ligurio
Remove case-switch per checker-group
97ebc98 
Part of #38
ligurio added a commit that referenced this issue May 3, 2022
@ligurio
Remove checker-group
8bcb3f6 
Part of #38
ligurio added a commit that referenced this issue May 3, 2022
@ligurio
Add models with names wo checker name in prefix
729ab57 
Map with old and new names:

elle-rw-register -> rw-register
elle-list-append -> list-append
jepsen-bank -> bank
jepsen-counter -> counter
jepsen-set -> set
jepsen-set-full -> set-full
jepsen-long-fork -> long-fork
knossos-register -> register
knossos-cas-register -> cas-register
knossos-mutex -> mutex

Old model names will be deprecated in next releases.

Closes #38
ligurio added a commit that referenced this issue Nov 5, 2024
@ligurio
Getting rid of deprecated models names
5556e4b 
The commit 729ab57
("Add models with names wo checker name in prefix")
deprecated model names with prefixes `jepsen-` and `knossos-`.
Model names without prefixes were introduced:

- `elle-rw-register` -> `rw-register`
- `elle-list-append` -> `list-append`
- `jepsen-bank` -> `bank`
- `jepsen-counter` -> `counter`
- `jepsen-set` -> `set`
- `jepsen-set-full` -> `set-full`
- `jepsen-long-fork` -> `long-fork`
- `knossos-register` -> `register`
- `knossos-cas-register` -> `cas-register`
- `knossos-mutex` -> `mutex`

The following model names have been removed: `elle-rw-register`,
`elle-list-append`, `jepsen-bank`, `jepsen-counter`, `jepsen-set`,
`jepsen-set-full`, `jepsen-long-fork`, `knossos-register`,
`knossos-cas-register`, `knossos-mutex`.

Follows up #38
@ligurio ligurio mentioned this issue Nov 5, 2024
Merged
ligurio added a commit that referenced this issue Nov 5, 2024
@ligurio
Getting rid of deprecated models names
5ac675c 
The commit 729ab57
("Add models with names wo checker name in prefix")
deprecated model names with prefixes `jepsen-` and `knossos-`.
Model names without prefixes were introduced:

- `elle-rw-register` -> `rw-register`
- `elle-list-append` -> `list-append`
- `jepsen-bank` -> `bank`
- `jepsen-counter` -> `counter`
- `jepsen-set` -> `set`
- `jepsen-set-full` -> `set-full`
- `jepsen-long-fork` -> `long-fork`
- `knossos-register` -> `rw-register`
- `knossos-cas-register` -> `cas-register`
- `knossos-mutex` -> `mutex`

The following model names have been removed: `elle-rw-register`,
`elle-list-append`, `jepsen-bank`, `jepsen-counter`, `jepsen-set`,
`jepsen-set-full`, `jepsen-long-fork`, `knossos-register`,
`knossos-cas-register`, `knossos-mutex`.

Follows up #38
ligurio added a commit that referenced this issue Nov 5, 2024
@ligurio
Getting rid of deprecated models names
edc3a86 
The commit 729ab57
("Add models with names wo checker name in prefix")
deprecated model names with prefixes `jepsen-` and `knossos-`.
Model names without prefixes were introduced:

- `elle-rw-register` -> `rw-register`
- `elle-list-append` -> `list-append`
- `jepsen-bank` -> `bank`
- `jepsen-counter` -> `counter`
- `jepsen-set` -> `set`
- `jepsen-set-full` -> `set-full`
- `jepsen-long-fork` -> `long-fork`
- `knossos-register` -> `rw-register`
- `knossos-cas-register` -> `cas-register`
- `knossos-mutex` -> `mutex`

The following model names have been removed: `elle-rw-register`,
`elle-list-append`, `jepsen-bank`, `jepsen-counter`, `jepsen-set`,
`jepsen-set-full`, `jepsen-long-fork`, `knossos-register`,
`knossos-cas-register`, `knossos-mutex`.

Follows up #38
ligurio added a commit that referenced this issue Nov 5, 2024
@ligurio
Update a map with checkers
e0fe656 
Follows up commit edc3a86
("Getting rid of deprecated models names").

Follows up #38
ligurio added a commit that referenced this issue Nov 5, 2024
@ligurio
Update a map with checkers
7024f51 
Follows up commit edc3a86
("Getting rid of deprecated models names").

Follows up #38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Remove checker name in options with models name ligurio/elle-cli
1 participant
@ligurio