LLM-generated contracts for `__iterator_get_unchecked`#435

Merged

feliperodri merged 7 commits intomodel-checking:mainfrom

vonaka:llm_contracts_iterator_get_unchecked

Aug 6, 2025

Commits on Jul 30, 2025

LLM-generated contracts for __iterator_get_unchecked
Fedor Ryabinin
committed
Another pass with Claude 3.7 as an arbiter
Fedor Ryabinin
committed

Commits on Aug 4, 2025

Commits on Aug 6, 2025

Merge branch 'main' into llm_contracts_iterator_get_unchecked
feliperodri
authored