Repository navigation

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

Merged

feliperodri merged 5 commits into

model-checking:mainfrom

tautschnig:fix-dyn-ensures

Sep 20, 2026

Merged

Use addr_eq in NonNull contracts to support wide pointers#626
feliperodri merged 5 commits into
model-checking:mainfrom
tautschnig:fix-dyn-ensures

Commits on Aug 3, 2026
- Use addr_eq in NonNull contracts to support wide pointers
  
  tautschnig
  and
  kiro-agent
  committed
  30b689e
Commits on Aug 28, 2026
- Merge branch 'main' into fix-dyn-ensures
  feliperodri
  authored
  1662cd3
Commits on Sep 12, 2026
- Format non_null.rs contract comment to satisfy rustfmt
  feliperodri
  committed
  122405a
Commits on Sep 13, 2026
- Merge branch 'main' into fix-dyn-ensures
  feliperodri
  authored
  97d1b37
Commits on Sep 20, 2026
- Merge branch 'main' into fix-dyn-ensures
  feliperodri
  authored
  58d9e38