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, 2.1.2
Change logNone available
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
DistributionsNixOS:2.1.2
Downloads3050 total (138 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