• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Dependencies for copilot-2.1.0

Libraries

copilot

• base (>=4.0 && <5)
• copilot-cbmc
• 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
• directory (>=1.1)
• random