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 (>=0.2.3), copilot-language (>=0.4), 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
UploadedSat Feb 4 04:34:56 UTC 2012 by LeePike
Downloads2149 total (115 in last 30 days)
StatusDocs not available [build log]
All reported builds failed [all 1 reports]

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees