From ccfb96e06de3f01259c7b885316e3690521fb644 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Sun, 8 Sep 2024 05:43:32 +0000 Subject: [PATCH 1/2] Bump versions and constraints. Refs #532. --- copilot-c99/copilot-c99.cabal | 4 ++-- copilot-core/copilot-core.cabal | 2 +- copilot-interpreter/copilot-interpreter.cabal | 4 ++-- copilot-language/copilot-language.cabal | 8 ++++---- copilot-libraries/copilot-libraries.cabal | 12 ++++++------ copilot-prettyprinter/copilot-prettyprinter.cabal | 4 ++-- copilot-theorem/copilot-theorem.cabal | 6 +++--- copilot/copilot.cabal | 14 +++++++------- 8 files changed, 27 insertions(+), 27 deletions(-) diff --git a/copilot-c99/copilot-c99.cabal b/copilot-c99/copilot-c99.cabal index ca3cf1d1..2acefad8 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.20 +version : 4.0 synopsis : A compiler for Copilot targeting C99. description : This package is a back-end from Copilot to C. @@ -45,7 +45,7 @@ library , mtl >= 2.2 && < 2.4 , pretty >= 1.1 && < 1.2 - , copilot-core >= 3.20 && < 3.21 + , copilot-core >= 4.0 && < 4.1 , language-c99 >= 0.2.0 && < 0.3 , language-c99-simple >= 0.3 && < 0.4 diff --git a/copilot-core/copilot-core.cabal b/copilot-core/copilot-core.cabal index b49a0629..500c97df 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.20 +version: 4.0 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 1f844fcf..9ad90e75 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.20 +version: 4.0 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.20 && < 3.21 + copilot-core >= 4.0 && < 4.1 exposed-modules: diff --git a/copilot-language/copilot-language.cabal b/copilot-language/copilot-language.cabal index 921ed79b..a9b79547 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.20 +version: 4.0 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.20 && < 3.21 - , copilot-interpreter >= 3.20 && < 3.21 - , copilot-theorem >= 3.20 && < 3.21 + , copilot-core >= 4.0 && < 4.1 + , copilot-interpreter >= 4.0 && < 4.1 + , copilot-theorem >= 4.0 && < 4.1 exposed-modules: Copilot.Language , Copilot.Language.Operators.BitWise diff --git a/copilot-libraries/copilot-libraries.cabal b/copilot-libraries/copilot-libraries.cabal index ad89218d..741a4cc8 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.20 +version: 4.0 synopsis: Libraries for the Copilot language. description: Libraries for the Copilot language. @@ -36,12 +36,12 @@ library hs-source-dirs: src - build-depends: base >= 4.9 && < 5 + build-depends: base >= 4.9 && < 5 - , containers >= 0.4 && < 0.7 - , mtl >= 2.0 && < 2.4 - , parsec >= 2.0 && < 3.2 - , copilot-language >= 3.20 && < 3.21 + , containers >= 0.4 && < 0.7 + , mtl >= 2.0 && < 2.4 + , parsec >= 2.0 && < 3.2 + , copilot-language >= 4.0 && < 4.1 exposed-modules: Copilot.Library.Libraries diff --git a/copilot-prettyprinter/copilot-prettyprinter.cabal b/copilot-prettyprinter/copilot-prettyprinter.cabal index 0f452c68..73746675 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.20 +version: 4.0 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.20 && < 3.21 + copilot-core >= 4.0 && < 4.1 exposed-modules: diff --git a/copilot-theorem/copilot-theorem.cabal b/copilot-theorem/copilot-theorem.cabal index 496ef8c3..46416e9e 100644 --- a/copilot-theorem/copilot-theorem.cabal +++ b/copilot-theorem/copilot-theorem.cabal @@ -14,7 +14,7 @@ description: . -version : 3.20 +version : 4.0 license : BSD3 license-file : LICENSE maintainer : Ivan Perez @@ -63,8 +63,8 @@ library , xml >= 1.3 && < 1.4 , what4 >= 1.3 && < 1.7 - , copilot-core >= 3.20 && < 3.21 - , copilot-prettyprinter >= 3.20 && < 3.21 + , copilot-core >= 4.0 && < 4.1 + , copilot-prettyprinter >= 4.0 && < 4.1 exposed-modules : Copilot.Theorem , Copilot.Theorem.Prove diff --git a/copilot/copilot.cabal b/copilot/copilot.cabal index cfc61c62..394431a3 100644 --- a/copilot/copilot.cabal +++ b/copilot/copilot.cabal @@ -1,5 +1,5 @@ name: copilot -version: 3.20 +version: 4.0 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.20 && < 3.21 - , copilot-theorem >= 3.20 && < 3.21 - , copilot-language >= 3.20 && < 3.21 - , copilot-libraries >= 3.20 && < 3.21 - , copilot-c99 >= 3.20 && < 3.21 - , copilot-prettyprinter >= 3.20 && < 3.21 + , copilot-core >= 4.0 && < 4.1 + , copilot-theorem >= 4.0 && < 4.1 + , copilot-language >= 4.0 && < 4.1 + , copilot-libraries >= 4.0 && < 4.1 + , copilot-c99 >= 4.0 && < 4.1 + , copilot-prettyprinter >= 4.0 && < 4.1 exposed-modules: Language.Copilot, Language.Copilot.Main From 2cea27decb7c62b375800f8b4bc1fdfa78433034 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Sun, 8 Sep 2024 05:47:15 +0000 Subject: [PATCH 2/2] Document changes in CHANGELOG. Refs #532. --- 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, 16 insertions(+), 8 deletions(-) diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG index 5c68efda..406051dd 100644 --- a/copilot-c99/CHANGELOG +++ b/copilot-c99/CHANGELOG @@ -1,4 +1,5 @@ -2024-09-03 +2024-09-07 + * Version bump (4.0). (#532) * Add support for array updates. (#36) 2024-07-07 diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG index e55e962c..db1a795b 100644 --- a/copilot-core/CHANGELOG +++ b/copilot-core/CHANGELOG @@ -1,4 +1,5 @@ -2024-09-03 +2024-09-07 + * Version bump (4.0). (#532) * Update Op3, Array to support array updates. (#36) 2024-07-07 diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG index 22b5915f..5cb1ad93 100644 --- a/copilot-interpreter/CHANGELOG +++ b/copilot-interpreter/CHANGELOG @@ -1,4 +1,5 @@ -2024-09-03 +2024-09-07 + * Version bump (4.0). (#532) * Add support for array updates. (#36) 2024-07-07 diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG index 55b56088..c4f11fd3 100644 --- a/copilot-language/CHANGELOG +++ b/copilot-language/CHANGELOG @@ -1,4 +1,5 @@ -2024-09-03 +2024-09-07 + * Version bump (4.0). (#532) * Add support for array updates. (#36) 2024-07-07 diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG index 7d807efb..9bdfd287 100644 --- a/copilot-libraries/CHANGELOG +++ b/copilot-libraries/CHANGELOG @@ -1,4 +1,5 @@ -2024-09-03 +2024-09-07 + * Version bump (4.0). (#532) * Rename operator to avoid name clash. (#36) 2024-07-07 diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG index d2b10e69..e5409a92 100644 --- a/copilot-prettyprinter/CHANGELOG +++ b/copilot-prettyprinter/CHANGELOG @@ -1,4 +1,5 @@ -2024-09-03 +2024-09-07 + * Version bump (4.0). (#532) * Add support for pretty-printing struct update expressions. (#526) * Add support for pretty-printing array update expressions. (#36) diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG index 3f9269bd..fa1870c7 100644 --- a/copilot-theorem/CHANGELOG +++ b/copilot-theorem/CHANGELOG @@ -1,4 +1,5 @@ -2024-09-03 +2024-09-07 + * Version bump (4.0). (#532) * Add support for struct updates in Copilot.Theorem.What4. (#524) * Add support for array updates in Copilot.Theorem.What4. (#36) diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG index 1da30d3e..16965d83 100644 --- a/copilot/CHANGELOG +++ b/copilot/CHANGELOG @@ -1,4 +1,5 @@ -2024-09-03 +2024-09-07 + * Version bump (4.0). (#532) * Update example to demonstrate struct update support. (#524) * Update example to demonstrate array update support. (#36)