Migrate CIF tool precondition checkers to new common CIF checkers framework
To consider for migration:
-
CIF to Supremica precondition checker (#370 (closed)) -
CIF to mCRL2 -
Precondition checker (!998 (merged)) -
Instance tree verifier (to be removed in #352)
-
-
CIF PLC code generator precondition checker (!422 (merged)) -
CIF to UPPAAL precondition checker (!387 (merged)) -
CIF code generator (precondition checker and Simulink precondition checker) (!792 (merged)) -
CIF controller (precondition checker and determinism checkers) (!901 (merged)) -
CIF explorer precondition checker (!999) -
CIF/BDD conversion (used by data-based synthesis and controller checker) -
Converter itself. (!990 (merged)) -
'Plants refer to requirement state' checker(to be moved to type checker in #743) -
Non-determinism checker(requires BDD edges, so can't be related back to original specification)
-
-
CIF to CIF (remove requirements, ...) -
... (check other code, check new applications, ...)
Edited by Dennis Hendriks