diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG index 6e0c8b47..01d7012f 100644 --- a/copilot-c99/CHANGELOG +++ b/copilot-c99/CHANGELOG @@ -1,4 +1,5 @@ -2024-01-06 +2024-01-07 + * Version bump (3.18). (#487) * Change return type of main generated for tests. (#468) * Print constants in tests using portable suffixes. (#471). * Pass output arrays as arguments to trigger argument functions. (#431) diff --git a/copilot-c99/copilot-c99.cabal b/copilot-c99/copilot-c99.cabal index 28ec471c..c93a5348 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.17 +version : 3.18 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.17 && < 3.18 + , copilot-core >= 3.18 && < 3.19 , language-c99 >= 0.2.0 && < 0.3 , language-c99-simple >= 0.3 && < 0.4 diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG index 00421069..95c7c368 100644 --- a/copilot-core/CHANGELOG +++ b/copilot-core/CHANGELOG @@ -1,3 +1,6 @@ +2024-01-07 + * Version bump (3.18). (#487) + 2023-11-07 * Version bump (3.17). (#466) * Compliance with style guide. (#457) diff --git a/copilot-core/copilot-core.cabal b/copilot-core/copilot-core.cabal index c74cdeb8..32ea1302 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.17 +version: 3.18 synopsis: An intermediate representation for Copilot. description: Intermediate representation for Copilot. diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG index 2a0f148a..e8b83751 100644 --- a/copilot-interpreter/CHANGELOG +++ b/copilot-interpreter/CHANGELOG @@ -1,3 +1,6 @@ +2024-01-07 + * Version bump (3.18). (#487) + 2023-11-07 * Version bump (3.17). (#466) * Replace uses of deprecated functions. (#457) diff --git a/copilot-interpreter/copilot-interpreter.cabal b/copilot-interpreter/copilot-interpreter.cabal index caa713c0..48f98527 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.17 +version: 3.18 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.17 && < 3.18 + copilot-core >= 3.18 && < 3.19 exposed-modules: diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG index b8a9e663..6006a524 100644 --- a/copilot-language/CHANGELOG +++ b/copilot-language/CHANGELOG @@ -1,4 +1,5 @@ -2023-12-27 +2024-01-07 + * Version bump (3.18). (#487) * Add type annotation to help type inference engine. (#469) * Rename forall to forAll. (#470) diff --git a/copilot-language/copilot-language.cabal b/copilot-language/copilot-language.cabal index 8a802b4f..67b79378 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.17 +version: 3.18 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.17 && < 3.18 - , copilot-interpreter >= 3.17 && < 3.18 - , copilot-theorem >= 3.17 && < 3.18 + , copilot-core >= 3.18 && < 3.19 + , copilot-interpreter >= 3.18 && < 3.19 + , copilot-theorem >= 3.18 && < 3.19 exposed-modules: Copilot.Language , Copilot.Language.Operators.BitWise diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG index 221e34a7..7899f485 100644 --- a/copilot-libraries/CHANGELOG +++ b/copilot-libraries/CHANGELOG @@ -1,4 +1,5 @@ -2023-12-27 +2024-01-07 + * Version bump (3.18). (#487) * Introduce testing infrastructure for Copilot.Library. (#475) * Replace uses of forall with forAll. (#470) diff --git a/copilot-libraries/copilot-libraries.cabal b/copilot-libraries/copilot-libraries.cabal index 70482364..75cb0f0a 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.17 +version: 3.18 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.17 && < 3.18 + , copilot-language >= 3.18 && < 3.19 exposed-modules: Copilot.Library.Libraries diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG index eb2cfdd9..72560b9f 100644 --- a/copilot-prettyprinter/CHANGELOG +++ b/copilot-prettyprinter/CHANGELOG @@ -1,3 +1,6 @@ +2024-01-07 + * Version bump (3.18). (#487) + 2023-11-07 * Version bump (3.17). (#466) diff --git a/copilot-prettyprinter/copilot-prettyprinter.cabal b/copilot-prettyprinter/copilot-prettyprinter.cabal index fef76fa0..e6338773 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.17 +version: 3.18 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.17 && < 3.18 + copilot-core >= 3.18 && < 3.19 exposed-modules: diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG index b78bee0d..0ad495ef 100644 --- a/copilot-theorem/CHANGELOG +++ b/copilot-theorem/CHANGELOG @@ -1,4 +1,5 @@ -2023-12-27 +2024-01-07 + * Version bump (3.18). (#487) * Introduce testing infrastructure for Copilot.Theorem.What4. (#474) * Replace uses of forall with forAll. (#470) diff --git a/copilot-theorem/copilot-theorem.cabal b/copilot-theorem/copilot-theorem.cabal index fedd8155..92721420 100644 --- a/copilot-theorem/copilot-theorem.cabal +++ b/copilot-theorem/copilot-theorem.cabal @@ -14,7 +14,7 @@ description: . -version : 3.17 +version : 3.18 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.17 && < 3.18 - , copilot-prettyprinter >= 3.17 && < 3.18 + , copilot-core >= 3.18 && < 3.19 + , copilot-prettyprinter >= 3.18 && < 3.19 exposed-modules : Copilot.Theorem , Copilot.Theorem.Prove diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG index 4628d09e..52245ae9 100644 --- a/copilot/CHANGELOG +++ b/copilot/CHANGELOG @@ -1,4 +1,5 @@ 2024-01-07 + * Version bump (3.18). (#487) * Enable tests for copilot-theorem in CI script. (#474) * Enable tests for copilot-libraries in CI script. (#475) * Replace uses of forall with forAll. (#470) diff --git a/copilot/copilot.cabal b/copilot/copilot.cabal index c50babe0..9a6e30a6 100644 --- a/copilot/copilot.cabal +++ b/copilot/copilot.cabal @@ -1,5 +1,5 @@ name: copilot -version: 3.17 +version: 3.18 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.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 + , copilot-core >= 3.18 && < 3.19 + , copilot-theorem >= 3.18 && < 3.19 + , copilot-language >= 3.18 && < 3.19 + , copilot-libraries >= 3.18 && < 3.19 + , copilot-c99 >= 3.18 && < 3.19 + , copilot-prettyprinter >= 3.18 && < 3.19 exposed-modules: Language.Copilot, Language.Copilot.Main