Skip to content

Refactor stubbing so Kani compiler only invoke rustc once per crate#3245

Merged
celinval merged 12 commits intomodel-checking:mainfrom celinval:issue-3072-stubJun 10, 2024

Commits

Commits on Jun 8, 2024

Commits on Jun 9, 2024

Commits on Jun 10, 2024