Skip to content

fix: require the trace proof term to start on the line of the closing brace#16

Closed
hwbehrens wants to merge 4 commits into
verse-lab:veil-2.0-previewfrom
hwbehrens:veil-2.0-preview
Closed

fix: require the trace proof term to start on the line of the closing brace#16
hwbehrens wants to merge 4 commits into
verse-lab:veil-2.0-previewfrom
hwbehrens:veil-2.0-preview

Merge pull request #1 from hwbehrens/draft/silent-invariant-drop

69af94f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs