Skip to content

Do not unfold the AST on deep-copying#66

Open
merkste wants to merge 8 commits into
prismmodelchecker:masterfrom
merkste:DAG-aware-copying
Open

Do not unfold the AST on deep-copying#66
merkste wants to merge 8 commits into
prismmodelchecker:masterfrom
merkste:DAG-aware-copying

[DAG-copy] Fix for uncareful type change in simplify visitor

1f5d7ed
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs