Skip to content
GitLab
Explore
Sign in
#954
CIF to mCRL2: simplify the generated (range) guards
Code
Review changes
Check out branch
Download
Patches
Plain diff
Dennis Hendriks
requested to merge
954-cif-to-mcrl2-simplify-the-generated-range-guards
into
develop
Aug 18, 2024
Overview
7
Commits
3
Pipelines
1
Changes
15
Expand
Best to review per commit.
Closes
#954 (closed)
Merge request reports