Skip to content

Use new support for invariants - #428

Draft
jcp19 wants to merge 2 commits into
masterfrom
claude/gobra-syntax-update-pr412-fhghc8
Draft

Use new support for invariants#428
jcp19 wants to merge 2 commits into
masterfrom
claude/gobra-syntax-update-pr412-fhghc8

Merge master into invariants; adapt to new Gobra pred expression syntax

a923d62
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar