Repository navigation

Verify iter adapter unsafe methods + safe abstractions (challenge #16) - #602

Open

MavenRain wants to merge 64 commits into

model-checking:mainfrom

MavenRain:16-iter-adapters

Open

Verify iter adapter unsafe methods + safe abstractions (challenge #16)#602
MavenRain wants to merge 64 commits into
model-checking:mainfrom
MavenRain:16-iter-adapters

Commits on Jun 17, 2026
- Verify iter adapter unsafe methods + safe abstractions (challenge #16)
  MavenRain
  committed
  6dbebef
- Verify deferred iter adapter iterating methods (challenge #16)
  MavenRain
  committed
  17e9794
Commits on Jun 22, 2026
- Format challenge #16 harnesses to satisfy upstream rustfmt
  MavenRain
  committed
  9f5d372
Commits on Jul 8, 2026
- Merge branch 'main' into 16-iter-adapters
  MavenRain
  authored
  79792d9
Commits on Aug 17, 2026
- Address review on challenge 16: unbounded loop-contract harnesses, direct get_unchecked, side-effect and drop-observing sources
  MavenRain
  committed
  4459557
Commits on Sep 13, 2026