Skip to content

feat: support verus! blocks in Rust - #76

Open
tob-scott-a wants to merge 8 commits into
mainfrom
issue-73-verus-blocks
Open

feat: support verus! blocks in Rust#76
tob-scott-a wants to merge 8 commits into
mainfrom
issue-73-verus-blocks

fix: address Verus parser review findings

d31bd9d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar