Dependencies for copilot-2.1.2
Libraries
copilot
- base (>=4.0 && <5)
- copilot-c99 (>=2.1.2)
- copilot-cbmc (>=2.1.2)
- copilot-core (>=2.1.2)
- copilot-language (>=2.1.2)
- copilot-libraries (>=2.1.1)
- copilot-sbv (>=0.6)
Executables
copilot-regression
- base (>=4.0 && <5)
- copilot-c99 (>=2.1.2)
- copilot-cbmc (>=2.1.2)
- copilot-core (>=2.1.2)
- copilot-language (>=2.1.2)
- copilot-libraries (>=2.1.1)
- copilot-sbv (>=0.6)
- directory (>=1.1)
- random