Dependencies for copilot-2.2.1
Libraries
copilot
- base (>=4.0 && <5)
- copilot-c99 (>=2.2.1)
- copilot-cbmc (>=2.2.1)
- copilot-core (>=2.2.1)
- copilot-language (>=2.2.1)
- copilot-libraries (>=2.2.1)
- copilot-sbv (>=2.2.1)
- copilot-theorem (>=2.2.1)
Executables
copilot-regression
- base (>=4.0 && <5)
- copilot-c99 (>=2.2.1)
- copilot-cbmc (>=2.2.1)
- copilot-core (>=2.2.1)
- copilot-language (>=2.2.1)
- copilot-libraries (>=2.2.1)
- copilot-sbv (>=2.2.1)
- copilot-theorem (>=2.2.1)
- directory (>=1.2.1)
- random