Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
81 lines (75 sloc) 2.61 KB
name: copilot
version: 2.1.0
cabal-version: >= 1.10
license: BSD3
license-file: LICENSE
author: Nis Nordby Wegmann, Lee Pike, Robin Morisset, Sebastian Niller, Alwyn Goodloe
synopsis: A stream DSL for writing embedded C programs.
build-type: Simple
maintainer: Lee Pike <leepike@galois.com>
category: Language, Embedded
homepage: http://leepike.github.com/Copilot/
stability: Experimental
description:
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/niswegmann/copilot-discussion>.
.
Examples are available at <https://github.com/leepike/Copilot/tree/master/Examples>.
extra-source-files: README.md
source-repository head
type: git
location: git://github.com/leepike/Copilot.git
library
hs-source-dirs: src
default-language: Haskell2010
ghc-options:
-Wall
-fwarn-tabs
-auto-all
-caf-all
-fno-warn-orphans
build-depends:
base >= 4.0 && <5
, copilot-core >= 0.2.3
, copilot-language >= 0.4
, copilot-libraries >= 0.4
, copilot-cbmc
exposed-modules: Language.Copilot
executable copilot-regression
default-language : Haskell2010
hs-source-dirs : Examples, src
ghc-options : -Wall -fwarn-tabs
main-is : Test.hs
build-depends:
base >= 4.0
, copilot-core
, copilot-language
, copilot-libraries
, copilot-sbv
, copilot-cbmc
, copilot-c99 >= 0.2
, directory >= 1.1
, random
other-modules: AddMult
, Array
, Cast
, ClockExamples
, EngineExample
, Examples
, Examples2
, ExtFuns
, Languages
, Local
, LTLExamples
, PTLTLExamples
, Random
, RegExpExamples
, Sat
, StackExamples
, StatExamples
, VotingExamples