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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
cabal-version : >= 1.10
name : copilot-c99
version : 4.3
synopsis : A compiler for Copilot targeting C99.
description :
This package is a back-end from Copilot to C.
.
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, examples, and other information are available at
<https://copilot-language.github.io>.
license : BSD3
license-file : LICENSE
maintainer : Ivan Perez <ivan.perezdominguez@nasa.gov>
homepage : https://copilot-language.github.io
bug-reports : https://github.com/Copilot-Language/copilot/issues
stability : Experimental
category : Language, Embedded
build-type : Simple
extra-source-files : README.md
, CHANGELOG
author : Frank Dedden
, Alwyn Goodloe
, Ivan Perez
x-curation: uncurated
source-repository head
type: git
location: https://github.com/Copilot-Language/copilot.git
subdir: copilot-c99
library
default-language : Haskell2010
hs-source-dirs : src
ghc-options : -Wall
build-depends : base >= 4.9 && < 5
, directory >= 1.3 && < 1.4
, filepath >= 1.4 && < 1.6
, mtl >= 2.2 && < 2.4
, pretty >= 1.1 && < 1.2
, copilot-core >= 4.3 && < 4.4
, language-c99 >= 0.2.0 && < 0.3
, language-c99-simple >= 0.3 && < 0.4
exposed-modules : Copilot.Compile.C99
other-modules : Copilot.Compile.C99.Expr
, Copilot.Compile.C99.Type
, Copilot.Compile.C99.Error
, Copilot.Compile.C99.Name
, Copilot.Compile.C99.CodeGen
, Copilot.Compile.C99.External
, Copilot.Compile.C99.Compile
, Copilot.Compile.C99.Settings
, Copilot.Compile.C99.Representation
test-suite unit-tests
type:
exitcode-stdio-1.0
main-is:
Main.hs
other-modules:
Test.Copilot.Compile.C99
build-depends:
base
, directory
, HUnit
, QuickCheck
, pretty
, process
, random
, test-framework
, test-framework-hunit
, test-framework-quickcheck2
, unix
, copilot-core
, copilot-c99
hs-source-dirs:
tests
default-language:
Haskell2010
ghc-options:
-Wall
|
