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

Use addr_eq in NonNull contracts to support wide pointers

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