The latest version of copilot is 4.1-0.
lib:copilot
Modules
Dependencies
- base lib:base >=4.0 && <5
- copilot-c99 lib:copilot-c99 >=2.1.2
- copilot-cbmc lib:copilot-cbmc >=2.1.2
- copilot-core lib:copilot-core >=2.1.2
- copilot-language lib:copilot-language >=2.1.2
- copilot-libraries lib:copilot-libraries >=2.1.1
- copilot-sbv lib:copilot-sbv >=0.6
Reverse dependencies
Direct only. Not exhaustive.