diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG index c79e188a..9e3cd8b4 100644 --- a/copilot-c99/CHANGELOG +++ b/copilot-c99/CHANGELOG @@ -1,3 +1,6 @@ +2024-03-07 + * Version bump (3.19). (#504) + 2024-01-07 * Version bump (3.18.1). (#493) diff --git a/copilot-c99/copilot-c99.cabal b/copilot-c99/copilot-c99.cabal index 4a5dbbd5..70a9ec42 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.18.1 +version : 3.19 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.18.1 && < 3.19 - , language-c99 >= 0.2.0 && < 0.3 - , language-c99-simple >= 0.3 && < 0.4 + , copilot-core >= 3.19 && < 3.20 + , language-c99 >= 0.2.0 && < 0.3 + , language-c99-simple >= 0.3 && < 0.4 exposed-modules : Copilot.Compile.C99 diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG index e56d03e4..761fcebe 100644 --- a/copilot-core/CHANGELOG +++ b/copilot-core/CHANGELOG @@ -1,4 +1,5 @@ 2024-03-07 + * Version bump (3.19). (#504) * Remove deprecated functions in Copilot.Core.Type and Copilot.Core.Type.Array. (#500) * Increase test coverage. (#502) diff --git a/copilot-core/copilot-core.cabal b/copilot-core/copilot-core.cabal index 463789f2..4554c52c 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.18.1 +version: 3.19 synopsis: An intermediate representation for Copilot. description: Intermediate representation for Copilot. diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG index 6cf78476..0a7a6461 100644 --- a/copilot-interpreter/CHANGELOG +++ b/copilot-interpreter/CHANGELOG @@ -1,3 +1,6 @@ +2024-03-07 + * Version bump (3.19). (#504) + 2024-01-07 * Version bump (3.18.1). (#493) diff --git a/copilot-interpreter/copilot-interpreter.cabal b/copilot-interpreter/copilot-interpreter.cabal index 46092fb4..03fa5405 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.18.1 +version: 3.19 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.18.1 && < 3.19 + copilot-core >= 3.19 && < 3.20 exposed-modules: diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG index aac248ca..8834a297 100644 --- a/copilot-language/CHANGELOG +++ b/copilot-language/CHANGELOG @@ -1,3 +1,6 @@ +2024-03-07 + * Version bump (3.19). (#504) + 2024-01-07 * Version bump (3.18.1). (#493) diff --git a/copilot-language/copilot-language.cabal b/copilot-language/copilot-language.cabal index ebdb78aa..b07cdb54 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.18.1 +version: 3.19 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.18.1 && < 3.19 - , copilot-interpreter >= 3.18.1 && < 3.19 - , copilot-theorem >= 3.18.1 && < 3.19 + , copilot-core >= 3.19 && < 3.20 + , copilot-interpreter >= 3.19 && < 3.20 + , copilot-theorem >= 3.19 && < 3.20 exposed-modules: Copilot.Language , Copilot.Language.Operators.BitWise diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG index 00d22c6a..6a7bb751 100644 --- a/copilot-libraries/CHANGELOG +++ b/copilot-libraries/CHANGELOG @@ -1,3 +1,6 @@ +2024-03-07 + * Version bump (3.19). (#504) + 2024-01-07 * Version bump (3.18.1). (#493) diff --git a/copilot-libraries/copilot-libraries.cabal b/copilot-libraries/copilot-libraries.cabal index 2a6449e4..6d72ab2f 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.18.1 +version: 3.19 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.18.1 && < 3.19 + , copilot-language >= 3.19 && < 3.20 exposed-modules: Copilot.Library.Libraries diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG index 0beea5fb..3d8091be 100644 --- a/copilot-prettyprinter/CHANGELOG +++ b/copilot-prettyprinter/CHANGELOG @@ -1,3 +1,6 @@ +2024-03-07 + * Version bump (3.19). (#504) + 2024-01-07 * Version bump (3.18.1). (#493) diff --git a/copilot-prettyprinter/copilot-prettyprinter.cabal b/copilot-prettyprinter/copilot-prettyprinter.cabal index 0ab1b921..74f421cf 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.18.1 +version: 3.19 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.18.1 && < 3.19 + copilot-core >= 3.19 && < 3.20 exposed-modules: diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG index 7629ac0b..bcaa4842 100644 --- a/copilot-theorem/CHANGELOG +++ b/copilot-theorem/CHANGELOG @@ -1,3 +1,6 @@ +2024-03-07 + * Version bump (3.19). (#504) + 2024-01-07 * Version bump (3.18.1). (#493) * Adjust to work with GHC 9.6. (#491) diff --git a/copilot-theorem/copilot-theorem.cabal b/copilot-theorem/copilot-theorem.cabal index 8d441ecf..225ccd45 100644 --- a/copilot-theorem/copilot-theorem.cabal +++ b/copilot-theorem/copilot-theorem.cabal @@ -14,7 +14,7 @@ description: . -version : 3.18.1 +version : 3.19 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.18.1 && < 3.19 - , copilot-prettyprinter >= 3.18.1 && < 3.19 + , copilot-core >= 3.19 && < 3.20 + , copilot-prettyprinter >= 3.19 && < 3.20 exposed-modules : Copilot.Theorem , Copilot.Theorem.Prove diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG index b2a49498..994e999d 100644 --- a/copilot/CHANGELOG +++ b/copilot/CHANGELOG @@ -1,3 +1,6 @@ +2024-03-07 + * Version bump (3.19). (#504) + 2024-01-07 * Version bump (3.18.1). (#493) * Update README to reflect support for GHC 9.6. (#491) diff --git a/copilot/copilot.cabal b/copilot/copilot.cabal index 7f0715d9..3f598386 100644 --- a/copilot/copilot.cabal +++ b/copilot/copilot.cabal @@ -1,5 +1,5 @@ name: copilot -version: 3.18.1 +version: 3.19 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.18.1 && < 3.19 - , copilot-theorem >= 3.18.1 && < 3.19 - , copilot-language >= 3.18.1 && < 3.19 - , copilot-libraries >= 3.18.1 && < 3.19 - , copilot-c99 >= 3.18.1 && < 3.19 - , copilot-prettyprinter >= 3.18.1 && < 3.19 + , copilot-core >= 3.19 && < 3.20 + , copilot-theorem >= 3.19 && < 3.20 + , copilot-language >= 3.19 && < 3.20 + , copilot-libraries >= 3.19 && < 3.20 + , copilot-c99 >= 3.19 && < 3.20 + , copilot-prettyprinter >= 3.19 && < 3.20 exposed-modules: Language.Copilot, Language.Copilot.Main