Release 4.8.1

Description

Version 4.8.1 of Copilot 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.

Desired result

Cabal files indicate new version number, constraints are adjusted as needed, commit is tagged with version number, and packages are published on hackage.

Proposed solution

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.

Change Manager: Confirmed that the issue exists.

Technical Lead: Confirmed that the issue should be addressed.

@ivanperez-keera

Technical Lead: Issue scheduled for fixing in Copilot 4.8.1.

Fix assigned to: @ivanperez-keera .

copilot-theorem: Document changes in CHANGELOG. Refs Copilot-Language…

copilot-language: Document changes in CHANGELOG. Refs Copilot-Languag…

copilot-libraries: Document changes in CHANGELOG. Refs Copilot-Langua…

copilot-verifier: Document changes in CHANGELOG. Refs Copilot-Languag…

copilot-visualizer: Document changes in CHANGELOG. Refs Copilot-Langu…

copilot: Document changes in CHANGELOG. Refs Copilot-Language#760.

Implementor: Solution implemented, review requested.

Change Manager: Verified that:

Solution is implemented:

The code proposed compiles and passes all tests. Details:
Build log: https://app.travis-ci.com/github/Copilot-Language/copilot/builds/278784566

The solution proposed produces the expected result. Details:
The solution proposed addresses the necessary modification to cabal packages. The following docker image installs all Copilot libraries enforcing the new version via compiler constraints. Packages not currently listed under the cabal.project file are also included. It prints the message "Success" at the end if all completes correctly, and shows an error message otherwise.

--- Dockerfile-verify-760
FROM ubuntu:jammy

WORKDIR /root
SHELL ["/bin/bash", "-c"]

ENV DEBIAN_FRONTEND=noninteractive
RUN apt-get update

RUN apt-get install --yes \
      libz-dev \
      git \
      curl \
      gcc \
      g++ \
      make \
      libgmp3-dev  \
      pkg-config \
      z3

RUN mkdir -p $HOME/.ghcup/bin
RUN curl https://downloads.haskell.org/~ghcup/0.1.40.0/x86_64-linux-ghcup-0.1.40.0 -o $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 ghcup install ghc 9.8.4
RUN ghcup install cabal 3.16
RUN ghcup set ghc 9.8.4
RUN cabal update

ARG GIT_COMMIT=HEAD
ARG NAME=copilot
ARG REPO=https://github.com/copilot-language/copilot

RUN git clone ${REPO} ${NAME}
RUN cd ${NAME} && git checkout ${GIT_COMMIT}

WORKDIR ${NAME}

RUN echo "  copilot-verifier/copilot-verifier.cabal" >> cabal.project
RUN echo "  copilot-visualizer/copilot-visualizer.cabal" >> cabal.project
RUN cabal install \
         --package-env . \
         --lib \
         --constraint="copilot==4.8.1" \
         --constraint="copilot-bluespec==4.8.1" \
         --constraint="copilot-c99==4.8.1" \
         --constraint="copilot-core==4.8.1" \
         --constraint="copilot-prettyprinter==4.8.1" \
         --constraint="copilot-interpreter==4.8.1" \
         --constraint="copilot-language==4.8.1" \
         --constraint="copilot-libraries==4.8.1" \
         --constraint="copilot-theorem==4.8.1" \
         --constraint="copilot-verifier==4.8.1" \
         --constraint="copilot-visualizer==4.8.1" \
         copilot**/
RUN echo "Success"

Command (substitute variables based on new path after merge):

$ docker build --build-arg "REPO=https://github.com/ivanperez-keera/copilot" --build-arg "NAME=copilot" --build-arg "GIT_COMMIT=1f26417f9a83d12f1d0236ffa4dce5c7907506eb" -t copilot-verify-760 -f Dockerfile-verify-760 .

Implementation is documented. Details:
No updates needed; change is to fields in the Cabal files.
Change history is clear.
Commit messages are clear.
Changelogs are updated.
Examples are updated. Details:
No updates needed; change is to fields in the Cabal files.
Author is internal or has provided signed CLA.
Required version bumps are evaluated. Details:
No bump needed, minor bump executed.

Change Manager: Implementation ready to be merged.

Merge branch 'release-4.8.1'. Close Copilot-Language#760.

Navigation Menu

Repository navigation

Release 4.8.1 #760

16 remaining items

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Release 4.8.1 #760

Description

Activity

ivanperez-keera commented on Sep 8, 2026

ivanperez-keera commented on Sep 8, 2026

ivanperez-keera commented on Sep 8, 2026

16 remaining items

ivanperez-keera commented on Sep 8, 2026

ivanperez-keera commented on Sep 8, 2026

ivanperez-keera commented on Sep 8, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions