copilot-theorem 4.0 → 4.1
raw patch · 2 files changed
+17/−13 lines, 2 filesdep ~copilot-coredep ~copilot-prettyprinterPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: copilot-core, copilot-prettyprinter
API changes (from Hackage documentation)
Files
- CHANGELOG +14/−10
- copilot-theorem.cabal +3/−3
CHANGELOG view
@@ -1,3 +1,7 @@+2024-11-07+ * Version bump (4.1). (#561)+ * Standardize changelog format. (#550)+ 2024-09-07 * Version bump (4.0). (#532) * Add support for struct updates in Copilot.Theorem.What4. (#524)@@ -89,18 +93,18 @@ * Version bump (3.4). (#231) 2021-05-07- * Version bump (3.3). (#217).- * Adjust contraints on version of what4. (#90).+ * Version bump (3.3). (#217)+ * Adjust contraints on version of what4. (#90) 2021-03-07- * Version bump (3.2.1). (#92).- * Completed the documentation. (#95, #93).+ * Version bump (3.2.1). (#92)+ * Completed the documentation. (#95, #93) 2020-12-06- * Version bump (3.2).- * Update description, bug-reports and homepage field in cabal file- (#97).+ * Version bump (3.2). (#65)+ * Update description, bug-reports and homepage field in cabal file.+ (#97) -2019-11-22 Ivan Perez <ivan.perez@nianet.org>- * Version bump (3.1).- * Remove ExternFun (#99).+2019-11-22+ * Version bump (3.1). (#46)+ * Remove ExternFun. (#99)
copilot-theorem.cabal view
@@ -14,7 +14,7 @@ <https://copilot-language.github.io>. -version : 4.0+version : 4.1 license : BSD3 license-file : LICENSE maintainer : Ivan Perez <ivan.perezdominguez@nasa.gov>@@ -63,8 +63,8 @@ , xml >= 1.3 && < 1.4 , what4 >= 1.3 && < 1.7 - , copilot-core >= 4.0 && < 4.1- , copilot-prettyprinter >= 4.0 && < 4.1+ , copilot-core >= 4.1 && < 4.2+ , copilot-prettyprinter >= 4.1 && < 4.2 exposed-modules : Copilot.Theorem , Copilot.Theorem.Prove