The copilot package

[Tags: bsd3, library, program]

This package is the main entry-point for using Copilot.

Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools. A tutorial, bug reports, and todos are available at https://github.com/leepike/copilot-discussion.

Examples are available at https://github.com/leepike/Copilot/tree/master/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 (>=2.1.2), copilot-cbmc (>=2.1.2), copilot-core (>=2.1.2), copilot-language (>=2.1.2), copilot-libraries (>=2.1.1), copilot-sbv (>=0.6), 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 Jan 3 07:23:19 UTC 2015 by LeePike
DistributionsNixOS:2.1.2
Downloads3049 total (138 in last 30 days)
StatusDocs not available [build log]
All reported builds failed as of 2015-05-18 [all 2 reports]

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees