Skip to content

LLBC: translate wrapping arithmetic as wrapping, and cover what the Charon bump will touch - #4881

Merged
tautschnig merged 3 commits into
model-checking:mainfrom
feliperodri:llbc-safety-net
Sep 29, 2026
Merged

tautschnig merged 3 commits into
model-checking:mainfrom
feliperodri:llbc-safety-net

LLBC: don't pin `@AdtN` ids in the projection and traitimpl expectations

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

Annotations

1 warning and 1 notice
Auto Label
succeeded Sep 29, 2026 in 12s