copilot 2.1.2 → 2.2.0
raw patch · 2 files changed
+41/−25 lines, 2 filesdep +copilot-theoremdep ~copilot-c99dep ~copilot-cbmcdep ~copilot-corePVP ok
version bump matches the API change (PVP)
Dependencies added: copilot-theorem
Dependency ranges changed: copilot-c99, copilot-cbmc, copilot-core, copilot-language, copilot-libraries, copilot-sbv, directory
API changes (from Hackage documentation)
Files
- README.md +25/−10
- copilot.cabal +16/−15
README.md view
@@ -1,4 +1,4 @@-[](https://travis-ci.org/leepike/Copilot)+[](https://travis-ci.org/Copilot-Language/Copilot) Copilot: a stream DSL ====================================@@ -39,7 +39,7 @@ that translates to [SBV](http://hackage.haskell.org/package/sbv), using its code generator to generate hard real-time C code as well. The ad -* [copilot-discussion](https://github.com/leepike/copilot-discussion)+* [copilot-discussion](https://github.com/Copilot-Language/copilot-discussion) Contains a tutorial, todos, and other items regarding the Copilot system. **Sources** for each package are available on Github as well. Just go to@@ -56,24 +56,39 @@ Installation ============-The Copilot library is cabalized. Assuming you have cabal and the GHC compiler-installed (the [Haskell Platform](http://hackage.haskell.org/platform/) is the-easiest way to obtain these), it should merely be a matter of running - - cabal install copilot- -with an Internet connection. Please see the INSTALL file for installation-details. +* From Hackage:++ The Copilot library is cabalized. Assuming you have cabal and the GHC compiler+ installed (the [Haskell Platform](http://hackage.haskell.org/platform/) is the+ easiest way to obtain these), it should merely be a matter of running++ cabal install copilot++ with an Internet connection. Please see the INSTALL file for installation+ details.++* From GitHub:++ git clone https://github.com/Copilot-Language/Copilot.git+ git submodule update --init+ make test+ Once the installation is done, you can run the executable `XXX` which will execute the regression test suite for sbv on your machine. +Note there is a TravisCI build (linked to at the top of this README) if you have+trouble building/installing.+ Dependencies ============= copilot-cbmc depends on the C model-checker, CBMC. [CBMC](http://www.cprover.org/cbmc/) is a bounded model-checker for C code. We use CBMC to prove that two back-ends generating C generate semantically equivalent C, to help detect bugs in C back-ends.++For compiling it with CompCert (activated by default for SBV backend), you need+to install it, with its Standard C library ( http://compcert.inria.fr/ ). Copyright, License ==================
copilot.cabal view
@@ -1,5 +1,5 @@ name: copilot-version: 2.1.2+version: 2.2.0 cabal-version: >= 1.10 license: BSD3 license-file: LICENSE@@ -38,14 +38,14 @@ -fno-warn-orphans build-depends: base >= 4.0 && < 5- , copilot-core >= 2.1.2- , copilot-language >= 2.1.2- , copilot-libraries >= 2.1.1- , copilot-sbv >= 0.6- , copilot-cbmc >= 2.1.2- , copilot-c99 >= 2.1.2+ , copilot-core == 2.2.0+ , copilot-theorem == 0.2+ , copilot-language == 2.2.0+ , copilot-libraries == 2.2.0+ , copilot-sbv == 2.2.0+ , copilot-cbmc == 2.1.2+ , copilot-c99 == 2.2.0 --- , copilot-cbmc exposed-modules: Language.Copilot executable copilot-regression@@ -55,13 +55,14 @@ main-is : Test.hs build-depends: base >= 4.0 && < 5- , copilot-core >= 2.1.2- , copilot-language >= 2.1.2- , copilot-libraries >= 2.1.1- , copilot-sbv >= 0.6- , copilot-cbmc >= 2.1.2- , copilot-c99 >= 2.1.2- , directory >= 1.1+ , copilot-core == 2.2.0+ , copilot-theorem == 0.2+ , copilot-language == 2.2.0+ , copilot-libraries == 2.2.0+ , copilot-sbv == 2.2.0+ , copilot-cbmc == 2.1.2+ , copilot-c99 == 2.2.0+ , directory >= 1.2.1 , random other-modules: AddMult , Array