From a835d3bd13f3b80c949d875206101dadc31930fa Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 7 Nov 2023 10:55:49 -0800 Subject: [PATCH 1/2] Bump versions and constraints. Refs #466. --- 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 d0e5ff90..15831a30 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.1 +version : 3.17 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.1 && < 3.17 - , language-c99 >= 0.2.0 && < 0.3 - , language-c99-simple >= 0.2.2 && < 0.3 + , copilot-core >= 3.17 && < 3.18 + , 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 e50e0e48..c74cdeb8 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.1 +version: 3.17 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 7479470b..caa713c0 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.1 +version: 3.17 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.1 && < 3.17 + copilot-core >= 3.17 && < 3.18 exposed-modules: diff --git a/copilot-language/copilot-language.cabal b/copilot-language/copilot-language.cabal index 61c45393..8a802b4f 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.1 +version: 3.17 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.1 && < 3.17 - , copilot-interpreter >= 3.16.1 && < 3.17 - , copilot-theorem >= 3.16.1 && < 3.17 + , copilot-core >= 3.17 && < 3.18 + , copilot-interpreter >= 3.17 && < 3.18 + , copilot-theorem >= 3.17 && < 3.18 exposed-modules: Copilot.Language , Copilot.Language.Operators.BitWise diff --git a/copilot-libraries/copilot-libraries.cabal b/copilot-libraries/copilot-libraries.cabal index 9d4a4d1b..f93304cd 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.1 +version: 3.17 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.1 && < 3.17 + , copilot-language >= 3.17 && < 3.18 exposed-modules: Copilot.Library.Libraries diff --git a/copilot-prettyprinter/copilot-prettyprinter.cabal b/copilot-prettyprinter/copilot-prettyprinter.cabal index 7de26fe8..fef76fa0 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.1 +version: 3.17 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.1 && < 3.17 + copilot-core >= 3.17 && < 3.18 exposed-modules: diff --git a/copilot-theorem/copilot-theorem.cabal b/copilot-theorem/copilot-theorem.cabal index 66505633..142c29d6 100644 --- a/copilot-theorem/copilot-theorem.cabal +++ b/copilot-theorem/copilot-theorem.cabal @@ -14,7 +14,7 @@ description: . -version : 3.16.1 +version : 3.17 license : BSD3 license-file : LICENSE maintainer : Ivan Perez @@ -63,8 +63,8 @@ library , xml >= 1.3 && < 1.4 , what4 >= 1.3 && < 1.6 - , copilot-core >= 3.16.1 && < 3.17 - , copilot-prettyprinter >= 3.16.1 && < 3.17 + , copilot-core >= 3.17 && < 3.18 + , copilot-prettyprinter >= 3.17 && < 3.18 exposed-modules : Copilot.Theorem , Copilot.Theorem.Prove diff --git a/copilot/copilot.cabal b/copilot/copilot.cabal index ae09b832..556ff157 100644 --- a/copilot/copilot.cabal +++ b/copilot/copilot.cabal @@ -1,5 +1,5 @@ name: copilot -version: 3.16.1 +version: 3.17 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.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 + , copilot-core >= 3.17 && < 3.18 + , copilot-theorem >= 3.17 && < 3.18 + , copilot-language >= 3.17 && < 3.18 + , copilot-libraries >= 3.17 && < 3.18 + , copilot-c99 >= 3.17 && < 3.18 + , copilot-prettyprinter >= 3.17 && < 3.18 exposed-modules: Language.Copilot, Language.Copilot.Main From fe10732c7e718b54cceb9d1cf729ab9ac70b4fc3 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 7 Nov 2023 10:57:23 -0800 Subject: [PATCH 2/2] Document changes in CHANGELOG. Refs #466. --- copilot-c99/CHANGELOG | 3 ++- 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, 19 insertions(+), 5 deletions(-) diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG index 12382d90..df735259 100644 --- a/copilot-c99/CHANGELOG +++ b/copilot-c99/CHANGELOG @@ -1,4 +1,5 @@ -2023-11-05 +2023-11-07 + * Version bump (3.17). (#466) * Replace uses of deprecated functions. (#457) 2023-09-07 diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG index cf836f04..00421069 100644 --- a/copilot-core/CHANGELOG +++ b/copilot-core/CHANGELOG @@ -1,4 +1,5 @@ -2023-11-05 +2023-11-07 + * Version bump (3.17). (#466) * Compliance with style guide. (#457) 2023-09-07 diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG index b4bbd09f..2a0f148a 100644 --- a/copilot-interpreter/CHANGELOG +++ b/copilot-interpreter/CHANGELOG @@ -1,4 +1,5 @@ -2023-11-05 +2023-11-07 + * Version bump (3.17). (#466) * Replace uses of deprecated functions. (#457) 2023-09-07 diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG index 43616648..71215201 100644 --- a/copilot-language/CHANGELOG +++ b/copilot-language/CHANGELOG @@ -1,3 +1,6 @@ +2023-11-07 + * Version bump (3.17). (#466) + 2023-09-07 * Version bump (3.16.1). (#455) diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG index 9d7e3508..4810f9ef 100644 --- a/copilot-libraries/CHANGELOG +++ b/copilot-libraries/CHANGELOG @@ -1,3 +1,6 @@ +2023-11-07 + * Version bump (3.17). (#466) + 2023-09-07 * Version bump (3.16.1). (#455) * Fix semantics of since in Copilot.Library.PTLTL. (#443) diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG index c982374b..eb2cfdd9 100644 --- a/copilot-prettyprinter/CHANGELOG +++ b/copilot-prettyprinter/CHANGELOG @@ -1,3 +1,6 @@ +2023-11-07 + * Version bump (3.17). (#466) + 2023-11-05 * Replace uses of deprecated functions. (#457) diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG index be9e693f..025312f9 100644 --- a/copilot-theorem/CHANGELOG +++ b/copilot-theorem/CHANGELOG @@ -1,4 +1,5 @@ -2023-11-05 +2023-11-07 + * Version bump (3.17). (#466) * Relax version constraint on what4. (#461) * Replace uses of deprecated functions. (#457) diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG index b3764b01..58a41afb 100644 --- a/copilot/CHANGELOG +++ b/copilot/CHANGELOG @@ -1,4 +1,5 @@ -2023-11-05 +2023-11-07 + * Version bump (3.17). (#466) * Replace uses of deprecated functions. (#457) 2023-11-03