Skip to content

Commit 4da64b3

Browse files
ivanperez-keeraivanperez-keera
committed
Merge branch 'release-3.16.1'. Close #455.
**Description** Version 3.16.1 of Copilot is ready and should be closed and published on Hackage. **Type** - Management: release and publication. **Additional context** None. **Requester** - Ivan Perez. **Method to check presence of bug** Not applicable (not a bug). **Expected result** - Cabal files indicate new version number, constraints are adjusted as needed, commit is tagged with version number, and packages are published on Hackage. - The following docker image installs copilot enforcing the new version via compiler constraints. It prints the message "Success" at the end if all completes correctly, and shows an error message otherwise. ```Dockerfile FROM ubuntu:focal RUN apt-get update RUN apt-get install --yes libz-dev RUN apt-get install --yes git RUN apt-get install --yes wget RUN mkdir -p $HOME/.ghcup/bin RUN wget https://downloads.haskell.org/~ghcup/0.1.17.7/x86_64-linux-ghcup-0.1.17.7 -O $HOME/.ghcup/bin/ghcup RUN chmod a+x $HOME/.ghcup/bin/ghcup RUN chmod a+x $HOME/.ghcup/bin/ghcup ENV PATH=$PATH:/root/.ghcup/bin/ ENV PATH=$PATH:/root/.cabal/bin/ RUN apt-get install --yes curl RUN apt-get install --yes gcc make libgmp3-dev RUN ghcup install ghc 9.0 RUN ghcup install cabal 3.4 RUN ghcup set ghc 9.0.2 RUN cabal update SHELL ["/bin/bash", "-c"] CMD git clone $REPO \ && cd $NAME \ && git checkout $COMMIT \ && cabal install --lib copilot**/ \ --constraint="copilot==3.16.1" \ --constraint="copilot-c99==3.16.1" \ --constraint="copilot-core==3.16.1" \ --constraint="copilot-prettyprinter==3.16.1" \ --constraint="copilot-interpreter==3.16.1" \ --constraint="copilot-language==3.16.1" \ --constraint="copilot-libraries==3.16.1" \ --constraint="copilot-theorem==3.16.1" \ && echo Success ``` Command (substitute variables based on new path after merge): ``` $ docker run -e "REPO=https://github.com/Copilot-Language/copilot" -e "NAME=copilot" -e "COMMIT=<HASH>" -it copilot-verify-455 ``` **Solution implemented** - Cabal files indicate new version number, constraints are adjusted as needed, commit is tagged with version number, and packages are published on Hackage. **Further notes** None.
2 parents 7c4a509 + b84017c commit 4da64b3

File tree

16 files changed

+46
-26
lines changed

16 files changed

+46
-26
lines changed

‎copilot-c99/CHANGELOG

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
2023-09-07
2+
* Version bump (3.16.1). (#455)
23
* Clean code. (#453)
34

45
2023-07-07

‎copilot-c99/copilot-c99.cabal

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
cabal-version : >= 1.10
22
name : copilot-c99
3-
version : 3.16
3+
version : 3.16.1
44
synopsis : A compiler for Copilot targeting C99.
55
description :
66
This package is a back-end from Copilot to C.
@@ -45,9 +45,9 @@ library
4545
, mtl >= 2.2 && < 2.4
4646
, pretty >= 1.1 && < 1.2
4747

48-
, copilot-core >= 3.16 && < 3.17
49-
, language-c99 >= 0.2.0 && < 0.3
50-
, language-c99-simple >= 0.2.2 && < 0.3
48+
, copilot-core >= 3.16.1 && < 3.17
49+
, language-c99 >= 0.2.0 && < 0.3
50+
, language-c99-simple >= 0.2.2 && < 0.3
5151

5252
exposed-modules : Copilot.Compile.C99
5353

‎copilot-core/CHANGELOG

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
2023-09-07
2+
* Version bump (3.16.1). (#455)
3+
14
2023-07-07
25
* Version bump (3.16). (#448)
36

‎copilot-core/copilot-core.cabal

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
cabal-version: >=1.10
22
name: copilot-core
3-
version: 3.16
3+
version: 3.16.1
44
synopsis: An intermediate representation for Copilot.
55
description:
66
Intermediate representation for Copilot.

‎copilot-interpreter/CHANGELOG

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
2023-09-07
2+
* Version bump (3.16.1). (#455)
3+
14
2023-07-07
25
* Version bump (3.16). (#448)
36

‎copilot-interpreter/copilot-interpreter.cabal

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
cabal-version: >=1.10
22
name: copilot-interpreter
3-
version: 3.16
3+
version: 3.16.1
44
synopsis: Interpreter for Copilot.
55
description:
66
Interpreter for Copilot.
@@ -44,7 +44,7 @@ library
4444
base >= 4.9 && < 5,
4545
pretty >= 1.0 && < 1.2,
4646

47-
copilot-core >= 3.16 && < 3.17
47+
copilot-core >= 3.16.1 && < 3.17
4848

4949
exposed-modules:
5050

‎copilot-language/CHANGELOG

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
2023-09-07
2+
* Version bump (3.16.1). (#455)
3+
14
2023-07-07
25
* Version bump (3.16). (#448)
36
* Move Copilot.Language.Stream.Arg to Copilot.Language.Spec. (#446)

‎copilot-language/copilot-language.cabal

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
cabal-version: >=1.10
22
name: copilot-language
3-
version: 3.16
3+
version: 3.16.1
44
synopsis: A Haskell-embedded DSL for monitoring hard real-time
55
distributed systems.
66
description:
@@ -42,9 +42,9 @@ library
4242
, data-reify >= 0.6 && < 0.7
4343
, mtl >= 2.0 && < 3
4444

45-
, copilot-core >= 3.16 && < 3.17
46-
, copilot-interpreter >= 3.16 && < 3.17
47-
, copilot-theorem >= 3.16 && < 3.17
45+
, copilot-core >= 3.16.1 && < 3.17
46+
, copilot-interpreter >= 3.16.1 && < 3.17
47+
, copilot-theorem >= 3.16.1 && < 3.17
4848

4949
exposed-modules: Copilot.Language
5050
, Copilot.Language.Operators.BitWise

‎copilot-libraries/CHANGELOG

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
1-
2023-08-08
1+
2023-09-07
2+
* Version bump (3.16.1). (#455)
23
* Fix semantics of since in Copilot.Library.PTLTL. (#443)
34
* Prevent the majority function from generating unused local variables.
45
(#408)

‎copilot-libraries/copilot-libraries.cabal

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
cabal-version: >=1.10
22
name: copilot-libraries
3-
version: 3.16
3+
version: 3.16.1
44
synopsis: Libraries for the Copilot language.
55
description:
66
Libraries for the Copilot language.
@@ -41,7 +41,7 @@ library
4141
, containers >= 0.4 && < 0.7
4242
, mtl >= 2.0 && < 2.4
4343
, parsec >= 2.0 && < 3.2
44-
, copilot-language >= 3.16 && < 3.17
44+
, copilot-language >= 3.16.1 && < 3.17
4545

4646
exposed-modules:
4747
Copilot.Library.Libraries

‎copilot-prettyprinter/CHANGELOG

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
2023-09-07
2+
* Version bump (3.16.1). (#455)
3+
14
2023-07-07
25
* Version bump (3.16). (#448)
36

‎copilot-prettyprinter/copilot-prettyprinter.cabal

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
cabal-version: >=1.10
22
name: copilot-prettyprinter
3-
version: 3.16
3+
version: 3.16.1
44
synopsis: A prettyprinter of Copilot Specifications.
55
description:
66
A prettyprinter of Copilot specifications.
@@ -45,7 +45,7 @@ library
4545
base >= 4.9 && < 5,
4646
pretty >= 1.0 && < 1.2,
4747

48-
copilot-core >= 3.16 && < 3.17
48+
copilot-core >= 3.16.1 && < 3.17
4949

5050
exposed-modules:
5151

‎copilot-theorem/CHANGELOG

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
2023-09-07
2+
* Version bump (3.16.1). (#455)
3+
14
2023-07-07
25
* Version bump (3.16). (#448)
36

‎copilot-theorem/copilot-theorem.cabal

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ description:
1414
<https://copilot-language.github.io>.
1515

1616

17-
version : 3.16
17+
version : 3.16.1
1818
license : BSD3
1919
license-file : LICENSE
2020
maintainer : Ivan Perez <[email protected]>
@@ -63,8 +63,8 @@ library
6363
, xml >= 1.3 && < 1.4
6464
, what4 >= 1.3 && < 1.5
6565

66-
, copilot-core >= 3.16 && < 3.17
67-
, copilot-prettyprinter >= 3.16 && < 3.17
66+
, copilot-core >= 3.16.1 && < 3.17
67+
, copilot-prettyprinter >= 3.16.1 && < 3.17
6868

6969
exposed-modules : Copilot.Theorem
7070
, Copilot.Theorem.Prove

‎copilot/CHANGELOG

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
2023-09-07
2+
* Version bump (3.16.1). (#455)
3+
14
2023-07-07
25
* Version bump (3.16). (#448)
36

‎copilot/copilot.cabal

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
name: copilot
2-
version: 3.16
2+
version: 3.16.1
33
cabal-version: >= 1.10
44
license: BSD3
55
license-file: LICENSE
@@ -52,12 +52,12 @@ library
5252
, directory >= 1.3 && < 1.4
5353
, filepath >= 1.4 && < 1.5
5454

55-
, copilot-core >= 3.16 && < 3.17
56-
, copilot-theorem >= 3.16 && < 3.17
57-
, copilot-language >= 3.16 && < 3.17
58-
, copilot-libraries >= 3.16 && < 3.17
59-
, copilot-c99 >= 3.16 && < 3.17
60-
, copilot-prettyprinter >= 3.16 && < 3.17
55+
, copilot-core >= 3.16.1 && < 3.17
56+
, copilot-theorem >= 3.16.1 && < 3.17
57+
, copilot-language >= 3.16.1 && < 3.17
58+
, copilot-libraries >= 3.16.1 && < 3.17
59+
, copilot-c99 >= 3.16.1 && < 3.17
60+
, copilot-prettyprinter >= 3.16.1 && < 3.17
6161

6262

6363
exposed-modules: Language.Copilot, Language.Copilot.Main

0 commit comments

Comments
 (0)