LLM-generated contracts#473

Merged

feliperodri merged 11 commits intomodel-checking:mainfrom

vonaka:llm_contracts_ty_invariants

Oct 9, 2025

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

Commits on Oct 8, 2025

Merge branch 'main' into llm_contracts_ty_invariants
feliperodri
authored