Skip to content

#424 CIF to mCRL2: use new precondition checking framework.

Dennis Hendriks requested to merge 424-cif2mcrl2-new-precond-check-framework into develop
  • Best to review per commit.
  • Pretty straight-forward step-by-step moving of preconditions to new precondition checker, and then adopting it.
  • End-user visible changes:
    • The CIF to mCRL2 transformation has improved output in case of precondition violations.
    • The CIF to mCRL2 transformer documentation has some fixes for what is supported for unary and binary operators that result in boolean values.

Addresses #424 (closed)

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent