/
copilot.cabal
80 lines (75 loc) · 2.62 KB
/
copilot.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
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 >= 0.6
, 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