[ivanperez-keera]

This PR updates the version numbers of all packages, as well as the version bounds of all dependencies on Copilot, as prescribed in the solution proposed for #792.

[ivanperez-keera]

Change Manager: Verified that:

• Solution is implemented:
  • The code proposed compiles and passes all tests. Details:
    • Build logs:
      • https://github.com/Copilot-Language/copilot/actions/runs/42435412246/
    • Build log archives:
      • logs_114959879154.zip
  • 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-792
    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.2" \
             --constraint="copilot-bluespec==4.8.2" \
             --constraint="copilot-c99==4.8.2" \
             --constraint="copilot-core==4.8.2" \
             --constraint="copilot-prettyprinter==4.8.2" \
             --constraint="copilot-interpreter==4.8.2" \
             --constraint="copilot-language==4.8.2" \
             --constraint="copilot-libraries==4.8.2" \
             --constraint="copilot-theorem==4.8.2" \
             --constraint="copilot-verifier==4.8.2" \
             --constraint="copilot-visualizer==4.8.2" \
             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=8049dbb1e8aea3b123ca54be5a285bd1950ea2c6" -t copilot-verify-792 -f Dockerfile-verify-792 .
    

• 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.