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, 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
UploadedWed Jan 4 07:06:41 UTC 2012 by LeePike
DistributionsNixOS:2.1.2
Downloads3051 total (136 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