Pull requests: Contract-LIB/contract-chameleon
Pull requests list
Checker Adapter for Contract-LIB (Contract-LIB Tools)
contract-lib
Changes that affect contract-lib parts of the code.
enhancement
New feature or request
#44
opened Jun 18, 2026 by
Robert-Brune
Collaborator
Loading…
2 tasks
Robert/automatic ci tests (Verifast)
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…
8 of 21 tasks
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.