lib:copilot-cbmc
Modules
Dependencies
- base lib:base >=4.0 && <5.0
- bytestring lib:bytestring >=0.9
- copilot-c99 lib:copilot-c99 >=2.2.1
- copilot-core lib:copilot-core >=2.2.1
- copilot-sbv lib:copilot-sbv >=2.2.1
- directory lib:directory >=1.1
- pretty lib:pretty >=1.0.1
- process lib:process >=1.0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- copilot exe:copilot-regression
- copilot lib:copilot