Skip to content

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

Open
MavenRain wants to merge 3 commits into
model-checking:mainfrom
MavenRain:16-iter-adapters
Open

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

Commits

Commits on Jun 17, 2026

Commits on Jun 22, 2026