Skip to content

Merge branch 'main' into feat/v0.10.x-kani-codegen-contracts

06c7943
Select commit
Loading
Failed to load commit list.
Open

feat(codegen): Kani harnesses for generated-code AADL contract preservation #224

Merge branch 'main' into feat/v0.10.x-kani-codegen-contracts
06c7943
Select commit
Loading
Failed to load commit list.