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, directory (>=1.1)
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
UploadedThu Nov 10 17:20:56 UTC 2011 by LeePike
Downloads2174 total (117 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees