copilot 3.5 → 3.6
raw patch · 3 files changed
+23/−13 lines, 3 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
version bump matches the API change (PVP)
Dependency ranges changed: copilot-c99, copilot-core, copilot-language, copilot-libraries, copilot-theorem
API changes (from Hackage documentation)
Files
- CHANGELOG +7/−0
- README.md +8/−6
- copilot.cabal +8/−7
CHANGELOG view
@@ -1,3 +1,10 @@+2021-11-07+ * Version bump (3.6). (#264)+ * Fix missing dependency in example executable. (#252)+ * Fix outdated/broken links. (#252)+ * Update installation instructions in README to+ match new repo structure. (#248)+ 2021-08-19 * Version bump (3.5). (#247) * Update travis domain in README. (#222)
README.md view
@@ -1,6 +1,6 @@ # Copilot: Stream DSL for hard real-time runtime verification -[](https://travis-ci.com/Copilot-Language/Copilot)+[](https://app.travis-ci.com/github/Copilot-Language/copilot) [](https://hackage.haskell.org/package/copilot) Copilot is a runtime verification framework written in Haskell. It allows the@@ -57,13 +57,15 @@ _Nix-Style build (Cabal >= 2.x)_ ```bash- cabal build # For Cabal 3.x- cabal v2-build # For Cabal 2.x+ cabal build copilot-*/ # For Cabal 3.x+ cabal v2-build copilot-*/ # For Cabal 2.x ``` _Traditional build (Cabal 1.x)_ ```bash- cabal install --dependencies-only+ cd copilot+ cabal install --dependencies-only . ../copilot-*/+ cabal install ../copilot-*/ cabal build ``` @@ -74,7 +76,7 @@ ## Example Here follows a simple example of a heating system. Other examples can be found in the [examples-directory](https://github.com/Copilot-Language/Copilot/tree/master/examples)+directory](https://github.com/Copilot-Language/copilot/tree/master/copilot/examples) of the main repository. ```haskell@@ -168,7 +170,7 @@ ## License Copilot is distributed under the BSD-3-Clause license, which can be found-[here](https://raw.githubusercontent.com/Copilot-Language/Copilot/master/LICENSE).+[here](https://raw.githubusercontent.com/Copilot-Language/copilot/master/copilot/LICENSE). ## The Copilot Team
copilot.cabal view
@@ -1,5 +1,5 @@ name: copilot-version: 3.5+version: 3.6 cabal-version: >= 1.10 license: BSD3 license-file: LICENSE@@ -30,7 +30,7 @@ source-repository head type: git- location: https://github.com/Copilot-Language/Copilot.git+ location: https://github.com/Copilot-Language/copilot.git flag examples description: Enable examples@@ -50,11 +50,11 @@ , directory >= 1.3 && < 1.4 , filepath >= 1.4 && < 1.5 - , copilot-core >= 3.5 && < 3.6- , copilot-theorem >= 3.5 && < 3.6- , copilot-language >= 3.5 && < 3.6- , copilot-libraries >= 3.5 && < 3.6- , copilot-c99 >= 3.5 && < 3.6+ , copilot-core >= 3.6 && < 3.7+ , copilot-theorem >= 3.6 && < 3.7+ , copilot-language >= 3.6 && < 3.7+ , copilot-libraries >= 3.6 && < 3.7+ , copilot-c99 >= 3.6 && < 3.7 exposed-modules: Language.Copilot, Language.Copilot.Main@@ -162,6 +162,7 @@ hs-source-dirs: examples build-depends: base >= 4.9 && < 5 , copilot+ , copilot-c99 default-language: Haskell2010 if flag(examples) buildable: True