Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR#2959
Merged
celinval merged 9 commits intomodel-checking:mainfrom celinval:smir-comp-interfaceDec 20, 2023
+221-238
Commits
Commits on Dec 20, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
