Skip to content
GitLab
Explore
Sign in
#950
CIF to mCRL2: simplify and fix 'delta' for empty process.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Dennis Hendriks
requested to merge
950-cif-to-mcrl2-don-t-generate-empty-process
into
develop
Aug 15, 2024
Overview
2
Commits
5
Pipelines
2
Changes
4
Expand
Best to review per commit.
Closes
#950 (closed)
Merge request reports
Loading