Skip to content

Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR#2959

Merged
celinval merged 9 commits into
model-checking:mainfrom
celinval:smir-comp-interface
Dec 20, 2023
Merged

Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR#2959
celinval merged 9 commits into
model-checking:mainfrom
celinval:smir-comp-interface

Rename mock functions

31af32b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs