The latest version of copilot-cbmc is 2.2.1-0.
lib:copilot-cbmc
Modules
Dependencies
- base lib:base >=4.0 && <5.0
- bytestring lib:bytestring >=0.9
- copilot-c99 lib:copilot-c99 >=0.2.4
- copilot-core lib:copilot-core >=0.2.4
- copilot-sbv lib:copilot-sbv >=0.6
- 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