LLM-generated contracts#473

Open

vonaka wants to merge 10 commits intomodel-checking:mainfrom

vonaka:llm_contracts_ty_invariants

Commits on Aug 18, 2025

LLM-generated contracts + type invariants
Fedor Ryabinin
committed
Fix imports
Fedor Ryabinin
committed
Fix imports
Fedor Ryabinin
committed

Commits on Aug 19, 2025

Merge branch 'model-checking:main' into llm_contracts_ty_invariants
vonaka
authored
Fix imports
Fedor Ryabinin
committed
Merge branch 'llm_contracts_ty_invariants' of github.com:vonaka/verify-rust-std into llm_contracts_ty_invariants
Fedor Ryabinin
committed
Fix imports
Fedor Ryabinin
committed

Commits on Aug 20, 2025