From 3006a798ee8619aa6aea4f2928768d03540ae22f Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Thu, 7 Sep 2023 23:00:50 -0700 Subject: [PATCH 1/2] Bump versions and constraints. Refs #455. --- copilot-c99/copilot-c99.cabal | 8 ++++---- copilot-core/copilot-core.cabal | 2 +- copilot-interpreter/copilot-interpreter.cabal | 4 ++-- copilot-language/copilot-language.cabal | 8 ++++---- copilot-libraries/copilot-libraries.cabal | 4 ++-- copilot-prettyprinter/copilot-prettyprinter.cabal | 4 ++-- copilot-theorem/copilot-theorem.cabal | 6 +++--- copilot/copilot.cabal | 14 +++++++------- 8 files changed, 25 insertions(+), 25 deletions(-) diff --git a/copilot-c99/copilot-c99.cabal b/copilot-c99/copilot-c99.cabal index 7886b8ee..d0e5ff90 100644 --- a/copilot-c99/copilot-c99.cabal +++ b/copilot-c99/copilot-c99.cabal @@ -1,6 +1,6 @@ cabal-version : >= 1.10 name : copilot-c99 -version : 3.16 +version : 3.16.1 synopsis : A compiler for Copilot targeting C99. description : This package is a back-end from Copilot to C. @@ -45,9 +45,9 @@ library , mtl >= 2.2 && < 2.4 , pretty >= 1.1 && < 1.2 - , copilot-core >= 3.16 && < 3.17 - , language-c99 >= 0.2.0 && < 0.3 - , language-c99-simple >= 0.2.2 && < 0.3 + , copilot-core >= 3.16.1 && < 3.17 + , language-c99 >= 0.2.0 && < 0.3 + , language-c99-simple >= 0.2.2 && < 0.3 exposed-modules : Copilot.Compile.C99 diff --git a/copilot-core/copilot-core.cabal b/copilot-core/copilot-core.cabal index be40f931..e50e0e48 100644 --- a/copilot-core/copilot-core.cabal +++ b/copilot-core/copilot-core.cabal @@ -1,6 +1,6 @@ cabal-version: >=1.10 name: copilot-core -version: 3.16 +version: 3.16.1 synopsis: An intermediate representation for Copilot. description: Intermediate representation for Copilot. diff --git a/copilot-interpreter/copilot-interpreter.cabal b/copilot-interpreter/copilot-interpreter.cabal index f5f36fcf..7479470b 100644 --- a/copilot-interpreter/copilot-interpreter.cabal +++ b/copilot-interpreter/copilot-interpreter.cabal @@ -1,6 +1,6 @@ cabal-version: >=1.10 name: copilot-interpreter -version: 3.16 +version: 3.16.1 synopsis: Interpreter for Copilot. description: Interpreter for Copilot. @@ -44,7 +44,7 @@ library base >= 4.9 && < 5, pretty >= 1.0 && < 1.2, - copilot-core >= 3.16 && < 3.17 + copilot-core >= 3.16.1 && < 3.17 exposed-modules: diff --git a/copilot-language/copilot-language.cabal b/copilot-language/copilot-language.cabal index 4aa502a7..61c45393 100644 --- a/copilot-language/copilot-language.cabal +++ b/copilot-language/copilot-language.cabal @@ -1,6 +1,6 @@ cabal-version: >=1.10 name: copilot-language -version: 3.16 +version: 3.16.1 synopsis: A Haskell-embedded DSL for monitoring hard real-time distributed systems. description: @@ -42,9 +42,9 @@ library , data-reify >= 0.6 && < 0.7 , mtl >= 2.0 && < 3 - , copilot-core >= 3.16 && < 3.17 - , copilot-interpreter >= 3.16 && < 3.17 - , copilot-theorem >= 3.16 && < 3.17 + , copilot-core >= 3.16.1 && < 3.17 + , copilot-interpreter >= 3.16.1 && < 3.17 + , copilot-theorem >= 3.16.1 && < 3.17 exposed-modules: Copilot.Language , Copilot.Language.Operators.BitWise diff --git a/copilot-libraries/copilot-libraries.cabal b/copilot-libraries/copilot-libraries.cabal index 78128570..9d4a4d1b 100644 --- a/copilot-libraries/copilot-libraries.cabal +++ b/copilot-libraries/copilot-libraries.cabal @@ -1,6 +1,6 @@ cabal-version: >=1.10 name: copilot-libraries -version: 3.16 +version: 3.16.1 synopsis: Libraries for the Copilot language. description: Libraries for the Copilot language. @@ -41,7 +41,7 @@ library , containers >= 0.4 && < 0.7 , mtl >= 2.0 && < 2.4 , parsec >= 2.0 && < 3.2 - , copilot-language >= 3.16 && < 3.17 + , copilot-language >= 3.16.1 && < 3.17 exposed-modules: Copilot.Library.Libraries diff --git a/copilot-prettyprinter/copilot-prettyprinter.cabal b/copilot-prettyprinter/copilot-prettyprinter.cabal index 41838ac1..7de26fe8 100644 --- a/copilot-prettyprinter/copilot-prettyprinter.cabal +++ b/copilot-prettyprinter/copilot-prettyprinter.cabal @@ -1,6 +1,6 @@ cabal-version: >=1.10 name: copilot-prettyprinter -version: 3.16 +version: 3.16.1 synopsis: A prettyprinter of Copilot Specifications. description: A prettyprinter of Copilot specifications. @@ -45,7 +45,7 @@ library base >= 4.9 && < 5, pretty >= 1.0 && < 1.2, - copilot-core >= 3.16 && < 3.17 + copilot-core >= 3.16.1 && < 3.17 exposed-modules: diff --git a/copilot-theorem/copilot-theorem.cabal b/copilot-theorem/copilot-theorem.cabal index 11ab2e80..3e457a80 100644 --- a/copilot-theorem/copilot-theorem.cabal +++ b/copilot-theorem/copilot-theorem.cabal @@ -14,7 +14,7 @@ description: . -version : 3.16 +version : 3.16.1 license : BSD3 license-file : LICENSE maintainer : Ivan Perez @@ -63,8 +63,8 @@ library , xml >= 1.3 && < 1.4 , what4 >= 1.3 && < 1.5 - , copilot-core >= 3.16 && < 3.17 - , copilot-prettyprinter >= 3.16 && < 3.17 + , copilot-core >= 3.16.1 && < 3.17 + , copilot-prettyprinter >= 3.16.1 && < 3.17 exposed-modules : Copilot.Theorem , Copilot.Theorem.Prove diff --git a/copilot/copilot.cabal b/copilot/copilot.cabal index b9c562bb..ae09b832 100644 --- a/copilot/copilot.cabal +++ b/copilot/copilot.cabal @@ -1,5 +1,5 @@ name: copilot -version: 3.16 +version: 3.16.1 cabal-version: >= 1.10 license: BSD3 license-file: LICENSE @@ -52,12 +52,12 @@ library , directory >= 1.3 && < 1.4 , filepath >= 1.4 && < 1.5 - , copilot-core >= 3.16 && < 3.17 - , copilot-theorem >= 3.16 && < 3.17 - , copilot-language >= 3.16 && < 3.17 - , copilot-libraries >= 3.16 && < 3.17 - , copilot-c99 >= 3.16 && < 3.17 - , copilot-prettyprinter >= 3.16 && < 3.17 + , copilot-core >= 3.16.1 && < 3.17 + , copilot-theorem >= 3.16.1 && < 3.17 + , copilot-language >= 3.16.1 && < 3.17 + , copilot-libraries >= 3.16.1 && < 3.17 + , copilot-c99 >= 3.16.1 && < 3.17 + , copilot-prettyprinter >= 3.16.1 && < 3.17 exposed-modules: Language.Copilot, Language.Copilot.Main From b84017c2709fb0b6e3af9d3c0c31c9272818c4ef Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Thu, 7 Sep 2023 23:01:02 -0700 Subject: [PATCH 2/2] Document changes in CHANGELOG. Refs #455. --- copilot-c99/CHANGELOG | 1 + copilot-core/CHANGELOG | 3 +++ copilot-interpreter/CHANGELOG | 3 +++ copilot-language/CHANGELOG | 3 +++ copilot-libraries/CHANGELOG | 3 ++- copilot-prettyprinter/CHANGELOG | 3 +++ copilot-theorem/CHANGELOG | 3 +++ copilot/CHANGELOG | 3 +++ 8 files changed, 21 insertions(+), 1 deletion(-) diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG index 1c944c35..846861da 100644 --- a/copilot-c99/CHANGELOG +++ b/copilot-c99/CHANGELOG @@ -1,4 +1,5 @@ 2023-09-07 + * Version bump (3.16.1). (#455) * Clean code. (#453) 2023-07-07 diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG index e28ec7b7..492963d4 100644 --- a/copilot-core/CHANGELOG +++ b/copilot-core/CHANGELOG @@ -1,3 +1,6 @@ +2023-09-07 + * Version bump (3.16.1). (#455) + 2023-07-07 * Version bump (3.16). (#448) diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG index c5cf8343..16411d43 100644 --- a/copilot-interpreter/CHANGELOG +++ b/copilot-interpreter/CHANGELOG @@ -1,3 +1,6 @@ +2023-09-07 + * Version bump (3.16.1). (#455) + 2023-07-07 * Version bump (3.16). (#448) diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG index 60ef8a9e..43616648 100644 --- a/copilot-language/CHANGELOG +++ b/copilot-language/CHANGELOG @@ -1,3 +1,6 @@ +2023-09-07 + * Version bump (3.16.1). (#455) + 2023-07-07 * Version bump (3.16). (#448) * Move Copilot.Language.Stream.Arg to Copilot.Language.Spec. (#446) diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG index b3117bb4..9d7e3508 100644 --- a/copilot-libraries/CHANGELOG +++ b/copilot-libraries/CHANGELOG @@ -1,4 +1,5 @@ -2023-08-08 +2023-09-07 + * Version bump (3.16.1). (#455) * Fix semantics of since in Copilot.Library.PTLTL. (#443) * Prevent the majority function from generating unused local variables. (#408) diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG index 522cb828..4bb2d40e 100644 --- a/copilot-prettyprinter/CHANGELOG +++ b/copilot-prettyprinter/CHANGELOG @@ -1,3 +1,6 @@ +2023-09-07 + * Version bump (3.16.1). (#455) + 2023-07-07 * Version bump (3.16). (#448) diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG index 715d3de7..98e44fe8 100644 --- a/copilot-theorem/CHANGELOG +++ b/copilot-theorem/CHANGELOG @@ -1,3 +1,6 @@ +2023-09-07 + * Version bump (3.16.1). (#455) + 2023-07-07 * Version bump (3.16). (#448) diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG index 14883257..b9238f5d 100644 --- a/copilot/CHANGELOG +++ b/copilot/CHANGELOG @@ -1,3 +1,6 @@ +2023-09-07 + * Version bump (3.16.1). (#455) + 2023-07-07 * Version bump (3.16). (#448)