copilot 2.1.0 → 2.1.1
raw patch · 2 files changed
+12/−11 lines, 2 filesdep ~basedep ~copilot-sbvPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: base, copilot-sbv
API changes (from Hackage documentation)
Files
- README.md +3/−2
- copilot.cabal +9/−9
README.md view
@@ -8,7 +8,8 @@ Resources ========= Copilot is comprised of a number of sub-projects which are automatically-installed when you install Copilot from Hackage, as described below:+installed when you install Copilot from Hackage, as described below. (These are+tracked as Git submodules in Copilot.) * [copilot-language](http://hackage.haskell.org/package/copilot-language) The front-end of Copilot defining the user language.@@ -36,7 +37,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/niswegmann/copilot-discussion)+* [copilot-discussion](https://github.com/leepike/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
copilot.cabal view
@@ -1,5 +1,5 @@ name: copilot-version: 2.1.0+version: 2.1.1 cabal-version: >= 1.10 license: BSD3 license-file: LICENSE@@ -10,15 +10,15 @@ category: Language, Embedded homepage: http://leepike.github.com/Copilot/ stability: Experimental-description: +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>. - . + <https://github.com/leepike/copilot-discussion>.+ . Examples are available at <https://github.com/leepike/Copilot/tree/master/Examples>. extra-source-files: README.md@@ -30,18 +30,18 @@ library hs-source-dirs: src default-language: Haskell2010- ghc-options: + ghc-options: -Wall -fwarn-tabs -auto-all -caf-all -fno-warn-orphans build-depends:- base >= 4.0 && <5+ base >= 4.0 && <= 5.0 , copilot-core >= 0.2.3 , copilot-language >= 0.4 , copilot-libraries >= 0.4- , copilot-cbmc+-- , copilot-cbmc exposed-modules: Language.Copilot executable copilot-regression@@ -54,7 +54,7 @@ , copilot-core , copilot-language , copilot-libraries- , copilot-sbv+ , copilot-sbv >= 0.6 , copilot-cbmc , copilot-c99 >= 0.2 , directory >= 1.1