Browse files

update build stuff.

  • Loading branch information...
1 parent fbcbf83 commit 9cff9ce1273fd1d20f70ba6a67dc5bb4061a42f4 @leepike committed Oct 7, 2011
Showing with 40 additions and 0 deletions.
  1. +35 −0
  2. +5 −0
@@ -0,0 +1,35 @@
+This package discusses issues with Copilot and includes documentation.
+Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
+Haskell that compiles into embedded C. Copilot is similar in spirit to
+languages like Lustre. Copilot contains an interpreter, multiple back-end
+compilers, and other verification tools.
+Please see the files under the Examples directory in the
+[Copilot]( for a number of examples
+showing the syntax, use of libraries, and use of the interpreter and back-ends.
+The examples is the best way to start.
+[copilot-discussion]( is
+available on Hackage.
+**Sources** for each package are available on Github as well. Just go to
+[Github]( and search for the package of interest. Feel free to fork!
+Copyright, License
+Copilot is distributed with the BSD3 license. The license file contains the
+[BSD3]( verbiage.
+We are grateful for NASA Contract NNL08AD13T to [Galois,
+Inc]( and the [National Institute of
+Aerospace](, which partially supported this work.
@@ -9,6 +9,11 @@ TODOs
* Add casts to the language.
+* Ad a backend to Feldspar.
+* Remove "error" from copilot-core, copilot-c99 (unimplemented array sampling,
+ I think).

0 comments on commit 9cff9ce

Please sign in to comment.