Skip to content

Minor refactor of Matcher + Pstate and move Combinators around - #385

Open
giltho wants to merge 3 commits into
masterfrom
extract-preds-3
Open

Minor refactor of Matcher + Pstate and move Combinators around#385
giltho wants to merge 3 commits into
masterfrom
extract-preds-3

move Combinators into GillianCore

4c4f072
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs