copilot 4.3 → 4.4
raw patch · 3 files changed
+12/−8 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-prettyprinter, copilot-theorem
API changes (from Hackage documentation)
Files
- CHANGELOG +4/−0
- README.md +1/−1
- copilot.cabal +7/−7
CHANGELOG view
@@ -1,3 +1,7 @@+2025-05-07+ * Version bump (4.4). (#618)+ * Update build status badge URL. (#612)+ 2025-03-07 * Version bump (4.3). (#604) * Include missing dependencies in installation instructions. (#591)
README.md view
@@ -2,7 +2,7 @@ # Copilot -[](https://app.travis-ci.com/github/Copilot-Language/copilot)+[](https://app.travis-ci.com/github/Copilot-Language/copilot) [](https://hackage.haskell.org/package/copilot) Copilot is a runtime verification framework for hard real-time systems.
copilot.cabal view
@@ -1,5 +1,5 @@ name: copilot-version: 4.3+version: 4.4 cabal-version: >= 1.10 license: BSD3 license-file: LICENSE@@ -52,12 +52,12 @@ , directory >= 1.3 && < 1.4 , filepath >= 1.4 && < 1.6 - , copilot-core >= 4.3 && < 4.4- , copilot-theorem >= 4.3 && < 4.4- , copilot-language >= 4.3 && < 4.4- , copilot-libraries >= 4.3 && < 4.4- , copilot-c99 >= 4.3 && < 4.4- , copilot-prettyprinter >= 4.3 && < 4.4+ , copilot-core >= 4.4 && < 4.5+ , copilot-theorem >= 4.4 && < 4.5+ , copilot-language >= 4.4 && < 4.5+ , copilot-libraries >= 4.4 && < 4.5+ , copilot-c99 >= 4.4 && < 4.5+ , copilot-prettyprinter >= 4.4 && < 4.5 exposed-modules: Language.Copilot, Language.Copilot.Main