copilot 3.2.1 → 3.3

raw patch · 3 files changed

+12/−7 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 +6/−0
• README.md +0/−1
• copilot.cabal +6/−6

@@ -1,3 +1,9 @@+2021-05-07+        * Version bump (3.3). (#217)+        * Document installation process without git submodules. (#214)+        * Bump upper constraint on what4 version number. (#90)+        * Remove support for GHC <= 8.4 from CI. (#89)+ 2021-03-07         * Version bump (3.2.1). (#85)         * Renamed Examples directory to examples. (#44)

@@ -50,7 +50,6 @@   ```bash   git clone https://github.com/Copilot-Language/copilot.git   cd copilot-  git submodule update --init --remote   ```    Compiling can either be done in a Nix-style build, or a traditional one:

@@ -1,5 +1,5 @@ name:                copilot-version:             3.2.1+version:             3.3 cabal-version:       >= 1.10 license:             BSD3 license-file:        LICENSE@@ -50,11 +50,11 @@                      , directory            >= 1.3  && < 1.4                      , filepath             >= 1.4  && < 1.5 -                     , copilot-core         >= 3.2.1  && < 3.3-                     , copilot-theorem      >= 3.2.1  && < 3.3-                     , copilot-language     >= 3.2.1  && < 3.3-                     , copilot-libraries    >= 3.2.1  && < 3.3-                     , copilot-c99          >= 3.2.1  && < 3.3+                     , copilot-core         >= 3.3  && < 3.4+                     , copilot-theorem      >= 3.3  && < 3.4+                     , copilot-language     >= 3.3  && < 3.4+                     , copilot-libraries    >= 3.3  && < 3.4+                     , copilot-c99          >= 3.3  && < 3.4       exposed-modules: Language.Copilot, Language.Copilot.Main