Skip to content

Use addr_eq in NonNull contracts to support wide pointers - #626

Open
tautschnig wants to merge 1 commit into
model-checking:mainfrom
tautschnig:fix-dyn-ensures
Open

Use addr_eq in NonNull contracts to support wide pointers#626
tautschnig wants to merge 1 commit into
model-checking:mainfrom
tautschnig:fix-dyn-ensures

Commits

Commits on Aug 3, 2026