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 and instance tree verifier) -
CIF PLC code generator precondition checker (!422 (merged)) -
CIF to UPPAAL precondition checker (!387 (merged)) -
CIF code generator (precondition checker and Simulink precondition checker) -
CIF controller (precondition checker and determinism checkers) -
CIF explorer precondition checker -
CIF data-based synthesis (converter maybe, plants refer to requirement state checker) -
CIF to CIF (remove requirements)