Skip to content

Add Extern and Intrinsic body types#1088

Merged
Nadrieril merged 5 commits into
AeneasVerif:mainfrom
soteria-tools:issue-982
Apr 22, 2026
Merged

Add Extern and Intrinsic body types#1088
Nadrieril merged 5 commits into
AeneasVerif:mainfrom
soteria-tools:issue-982

Minor

aabfaf4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
check-version-number
succeeded Apr 20, 2026 in 9s