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