Uh oh!
There was an error while loading. Please reload this page.
copilot-theorem: Update examples to compile with copilot-theorem >= 3.0. Refs #692. - #723
Merged
ivanperez-keera merged 2 commits intoMay 7, 2026
Travis CI / Travis CI - Pull Request
succeeded
May 7, 2026 in 25m 30s
Build Passed
Details
This is a pull request build.
It is running a build against the merge commit, after merging #723 copilot-theorem: Fix examples so they will compile with the current version of copilot-theorem. Refs #692..
Any changes that have been made to the master branch before the build ran are also included.
Jobs and Stages
This build has four jobs, running in parallel.
| Job | ENV | OS | State |
|---|---|---|---|
| 831.1 | CABALVER=2.4 GHCVER=8.6.5 | Linux | passed |
| 831.2 | CABALVER=3.2 GHCVER=8.8.4 | Linux | passed |
| 831.3 | CABALVER=3.2 GHCVER=8.10.4 | Linux | passed |
| 831.4 | CABALVER=3.4 GHCVER=9.0.1 | Linux | passed |
Build Configuration
| Build Option | Setting |
|---|---|
| Language | Ruby |
| Operating System | Linux (Focal) |
Build Configuration
{"language": "ruby","os": ["linux"],"dist": "focal","env": ["jobs={:CABALVER=>\"2.4\", :GHCVER=>\"8.6.5\"}={:CABALVER=>\"3.2\", :GHCVER=>\"8.8.4\"}={:CABALVER=>\"3.2\", :GHCVER=>\"8.10.4\"}={:CABALVER=>\"3.4\", :GHCVER=>\"9.0.1\"}"],"before_install": ["travis_retry sudo add-apt-repository -y ppa:hvr/ghc","travis_retry sudo apt-get update","travis_retry sudo apt-get install cabal-install-$CABALVER ghc-$GHCVER","if [ \"${GHCVER}\" == \"8.10.4\" ]; then travis_retry sudo apt-get install --yes z3 cppcheck; fi","export PATH=/opt/ghc/$GHCVER/bin:/opt/cabal/$CABALVER/bin:$PATH","cabal --version","echo \"$(ghc --version) [$(ghc --print-project-git-commit-id 2> /dev/null || echo '?')]\"","travis_retry cabal update","git submodule update --remote"],"script": ["travis_wait 30 cabal v2-install --lib copilot copilot-core copilot-c99 copilot-language copilot-libraries copilot-theorem copilot-interpreter copilot-prettyprinter","if [ \"${GHCVER}\" == \"8.10.4\" ]; then cabal v2-test -j1 copilot-core copilot-language copilot-interpreter copilot-c99 copilot-theorem copilot-libraries; fi","if [ \"${GHCVER}\" == \"8.10.4\" ]; then runhaskell copilot/examples/Heater.hs; cppcheck --force --addon=misra.py --suppress=misra-c2012-14.4 --error-exitcode=2 heater.c; fi"]}Loading