The latest version of copilot is 4.1-0.
exe:copilot-regression
Dependencies
- base lib:base >=4.0 && <5
- copilot-c99 lib:copilot-c99 >=2.2.1
- copilot-cbmc lib:copilot-cbmc >=2.2.1
- copilot-core lib:copilot-core >=2.2.1
- copilot-language lib:copilot-language >=2.2.1
- copilot-libraries lib:copilot-libraries >=2.2.1
- copilot-sbv lib:copilot-sbv >=2.2.1
- copilot-theorem lib:copilot-theorem >=2.2.1
- directory lib:directory >=1.2.1
- random lib:random >=0
Reverse dependencies
None.