Skip to content

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

Open
tautschnig wants to merge 2 commits into
model-checking:mainfrom
tautschnig:fix-dyn-ensures
Open

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

Merge branch 'main' into fix-dyn-ensures

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