Skip to content

Fix OffsetModel missing UB for offsets wrapping CBMC's pointer encoding#4671

Open
tautschnig wants to merge 1 commit into
model-checking:mainfrom
tautschnig:fix-offset-model-wrap
Open

Fix OffsetModel missing UB for offsets wrapping CBMC's pointer encoding#4671
tautschnig wants to merge 1 commit into
model-checking:mainfrom
tautschnig:fix-offset-model-wrap

Fix OffsetModel missing UB for offsets wrapping CBMC's pointer encoding

a801db5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Auto Label
succeeded Jul 24, 2026 in 9s