Pull requests: Contract-LIB/contract-chameleon
Pull requests list
Robert/automatic ci tests
adapter/key/export-applicant
`KeY` adapter, exporting from `Contract-LIB` to `KeY`, the contract is applied in `KeY`.
adapter/key/export-provider
`KeY` adapter, exporting from `Contract-LIB` to `KeY`, expecting the code to be verified with `KeY`.
adapter/verifast/export-applicant
Export adapter from `Contract-LIB` to `VeriFast`, the contract is applied in `VeriFast`.
adapter/verifast/export-provider
Export adapter from `Contract-LIB` to `VeriFast`, the code is verified with `VeriFast`.
enhancement
New feature or request
#41
opened May 5, 2026 by
Robert-Brune
Collaborator
Loading…
4 of 21 tasks
ProTip!
Filter pull requests by the default branch with base:main.