The copilot package

[Tags: bsd3, library, program]

Documentation is available at the website, and see the included examples.


Properties

Versions0.21, 0.22, 0.23, 0.25, 0.26, 0.27, 0.28, 1.0, 1.0.1, 1.0.2, 2.0, 2.0.1, 2.0.2, 2.0.3, 2.0.4, 2.0.5, 2.0.6, 2.0.7, 2.0.8, 2.0.9, 2.1.0, 2.1.1
Dependenciesbase (>=4.0 && <5), copilot-c99 (>=0.2), copilot-cbmc, copilot-core, copilot-language, copilot-libraries, copilot-sbv, directory (>=1.1), random
LicenseBSD3
AuthorNis Nordby Wegmann, Lee Pike, Robin Morisset, Sebastian Niller, Alwyn Goodloe
MaintainerLee Pike <leepike@galois.com>
StabilityExperimental
CategoryLanguage, Embedded
Home pagehttp://leepike.github.com/Copilot/
Source repositoryhead: git clone git://github.com/leepike/Copilot.git
Executablescopilot-regression
Upload dateSun Jan 1 20:33:18 UTC 2012
Uploaded byLeePike
Downloads1366 total (107 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees