Cleanup specialized Invariant pre-checkers.
Now that the generalized invariants prechecker is available, more specialized checks can be discarded.
Designs
Is blocked by
Relates to
Activity
-
Newest first Oldest first
-
Show all activity Show comments only Show history only
- Albert Hofkamp changed milestone to %v0.8
changed milestone to %v0.8
- Albert Hofkamp added CIF TypeEnhancement labels
added CIF TypeEnhancement labels
- Albert Hofkamp assigned to @ahofkamp
assigned to @ahofkamp
- Albert Hofkamp mentioned in commit 2db7ba2b
mentioned in commit 2db7ba2b
- Albert Hofkamp mentioned in commit d9481368
mentioned in commit d9481368
- Albert Hofkamp mentioned in commit c6009baf
mentioned in commit c6009baf
- Albert Hofkamp mentioned in commit df54f681
mentioned in commit df54f681
- Albert Hofkamp mentioned in merge request !432 (merged)
mentioned in merge request !432 (merged)
- Albert Hofkamp mentioned in commit b1a2d84a
mentioned in commit b1a2d84a
- Dennis Hendriks mentioned in merge request !422 (merged)
mentioned in merge request !422 (merged)
- Albert Hofkamp marked this issue as blocked by #457 (closed)
marked this issue as blocked by #457 (closed)
- Author Developer
For safety let's do this one after the cif2plc checker, as I am not sure they don't interact.
- Albert Hofkamp mentioned in commit 5bb5d9da
mentioned in commit 5bb5d9da
- Albert Hofkamp mentioned in commit 8f8821b7
mentioned in commit 8f8821b7
- Dennis Hendriks mentioned in commit f1fa0aaa
mentioned in commit f1fa0aaa
- Dennis Hendriks marked this issue as related to #424 (closed)
marked this issue as related to #424 (closed)
- Dennis Hendriks closed with merge request !432 (merged)
closed with merge request !432 (merged)
- Dennis Hendriks mentioned in commit 278bd5d7
mentioned in commit 278bd5d7
Please register or sign in to reply