diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG index 1114bdef..836ff341 100644 --- a/copilot-c99/CHANGELOG +++ b/copilot-c99/CHANGELOG @@ -1,4 +1,5 @@ 2024-07-07 + * Version bump (3.20). (#522) * Add support for struct field updates. (#520) 2024-05-07 diff --git a/copilot-c99/copilot-c99.cabal b/copilot-c99/copilot-c99.cabal index 48079d8b..ca3cf1d1 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.19.1 +version : 3.20 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.19.1 && < 3.20 - , language-c99 >= 0.2.0 && < 0.3 - , language-c99-simple >= 0.3 && < 0.4 + , copilot-core >= 3.20 && < 3.21 + , 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 9d40a366..b912c7e5 100644 --- a/copilot-core/CHANGELOG +++ b/copilot-core/CHANGELOG @@ -1,4 +1,5 @@ 2024-07-07 + * Version bump (3.20). (#522) * Update Op2, Struct to support struct field updates. (#520) 2024-05-07 diff --git a/copilot-core/copilot-core.cabal b/copilot-core/copilot-core.cabal index 78197bbe..b49a0629 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.19.1 +version: 3.20 synopsis: An intermediate representation for Copilot. description: Intermediate representation for Copilot. diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG index d69607db..e3bfe6d9 100644 --- a/copilot-interpreter/CHANGELOG +++ b/copilot-interpreter/CHANGELOG @@ -1,4 +1,5 @@ 2024-07-07 + * Version bump (3.20). (#522) * Add support for struct field updates. (#520) 2024-05-07 diff --git a/copilot-interpreter/copilot-interpreter.cabal b/copilot-interpreter/copilot-interpreter.cabal index c5995cfa..1f844fcf 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.19.1 +version: 3.20 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.19.1 && < 3.20 + copilot-core >= 3.20 && < 3.21 exposed-modules: diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG index 917338ef..bc428fdd 100644 --- a/copilot-language/CHANGELOG +++ b/copilot-language/CHANGELOG @@ -1,4 +1,5 @@ 2024-07-07 + * Version bump (3.20). (#522) * Remove deprecated function Copilot.Language.Spec.forall. (#518) * Add support for struct field updates. (#520) diff --git a/copilot-language/copilot-language.cabal b/copilot-language/copilot-language.cabal index be1d377e..99c5867f 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.19.1 +version: 3.20 synopsis: A Haskell-embedded DSL for monitoring hard real-time distributed systems. description: @@ -35,16 +35,16 @@ source-repository head library default-language: Haskell2010 hs-source-dirs: src - build-depends: base >= 4.9 && < 5 + build-depends: base >= 4.9 && < 5 - , array >= 0.5 && < 0.6 - , containers >= 0.4 && < 0.7 - , data-reify >= 0.6 && < 0.7 - , mtl >= 2.0 && < 3 + , array >= 0.5 && < 0.6 + , containers >= 0.4 && < 0.7 + , data-reify >= 0.6 && < 0.7 + , mtl >= 2.0 && < 3 - , copilot-core >= 3.19.1 && < 3.20 - , copilot-interpreter >= 3.19.1 && < 3.20 - , copilot-theorem >= 3.19.1 && < 3.20 + , copilot-core >= 3.20 && < 3.21 + , copilot-interpreter >= 3.20 && < 3.21 + , copilot-theorem >= 3.20 && < 3.21 exposed-modules: Copilot.Language , Copilot.Language.Operators.BitWise diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG index 7fa4005f..d93218fa 100644 --- a/copilot-libraries/CHANGELOG +++ b/copilot-libraries/CHANGELOG @@ -1,3 +1,6 @@ +2024-07-07 + * Version bump (3.20). (#522) + 2024-05-07 * Version bump (3.19.1). (#512) diff --git a/copilot-libraries/copilot-libraries.cabal b/copilot-libraries/copilot-libraries.cabal index e8830fc6..ad89218d 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.19.1 +version: 3.20 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.19.1 && < 3.20 + , containers >= 0.4 && < 0.7 + , mtl >= 2.0 && < 2.4 + , parsec >= 2.0 && < 3.2 + , copilot-language >= 3.20 && < 3.21 exposed-modules: Copilot.Library.Libraries diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG index e2dd781c..8bc83df6 100644 --- a/copilot-prettyprinter/CHANGELOG +++ b/copilot-prettyprinter/CHANGELOG @@ -1,3 +1,6 @@ +2024-07-07 + * Version bump (3.20). (#522) + 2024-05-07 * Version bump (3.19.1). (#512) diff --git a/copilot-prettyprinter/copilot-prettyprinter.cabal b/copilot-prettyprinter/copilot-prettyprinter.cabal index bcdb3d14..0f452c68 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.19.1 +version: 3.20 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.19.1 && < 3.20 + copilot-core >= 3.20 && < 3.21 exposed-modules: diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG index df16eb0f..120e1e67 100644 --- a/copilot-theorem/CHANGELOG +++ b/copilot-theorem/CHANGELOG @@ -1,4 +1,5 @@ -2024-07-06 +2024-07-07 + * Version bump (3.20). (#522) * What4 upper-bound dependency version bump. (#514) 2024-05-07 diff --git a/copilot-theorem/copilot-theorem.cabal b/copilot-theorem/copilot-theorem.cabal index be5868e9..496ef8c3 100644 --- a/copilot-theorem/copilot-theorem.cabal +++ b/copilot-theorem/copilot-theorem.cabal @@ -14,7 +14,7 @@ description: . -version : 3.19.1 +version : 3.20 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.19.1 && < 3.20 - , copilot-prettyprinter >= 3.19.1 && < 3.20 + , copilot-core >= 3.20 && < 3.21 + , copilot-prettyprinter >= 3.20 && < 3.21 exposed-modules : Copilot.Theorem , Copilot.Theorem.Prove diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG index a9d94f77..a83f6135 100644 --- a/copilot/CHANGELOG +++ b/copilot/CHANGELOG @@ -1,4 +1,5 @@ -2024-07-06 +2024-07-07 + * Version bump (3.20). (#522) * Update README to reflect support for GHC 9.8. (#518) 2024-05-07 diff --git a/copilot/copilot.cabal b/copilot/copilot.cabal index 7c0969c3..cfc61c62 100644 --- a/copilot/copilot.cabal +++ b/copilot/copilot.cabal @@ -1,5 +1,5 @@ name: copilot -version: 3.19.1 +version: 3.20 cabal-version: >= 1.10 license: BSD3 license-file: LICENSE @@ -47,17 +47,17 @@ library -Wall -fno-warn-orphans build-depends: - base >= 4.9 && < 5 - , optparse-applicative >= 0.14 && < 0.19 - , directory >= 1.3 && < 1.4 - , filepath >= 1.4 && < 1.5 - - , copilot-core >= 3.19.1 && < 3.20 - , copilot-theorem >= 3.19.1 && < 3.20 - , copilot-language >= 3.19.1 && < 3.20 - , copilot-libraries >= 3.19.1 && < 3.20 - , copilot-c99 >= 3.19.1 && < 3.20 - , copilot-prettyprinter >= 3.19.1 && < 3.20 + base >= 4.9 && < 5 + , optparse-applicative >= 0.14 && < 0.19 + , 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 exposed-modules: Language.Copilot, Language.Copilot.Main