copilot-bluespec: Fix translation of constant floating-point values. Refs #696.
#703
+60
−6
Travis CI / Travis CI - Pull Request
succeeded
Jan 8, 2026 in 23m 29s
Build Passed
Details
This is a pull request build.
It is running a build against the merge commit, after merging #703 Fix Refs #696: bluespec special constFp.
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 |
|---|---|---|---|
| 805.1 |
CABALVER=2.4 GHCVER=8.6.5 | Linux | passed |
| 805.2 |
CABALVER=3.2 GHCVER=8.8.4 | Linux | passed |
| 805.3 |
CABALVER=3.2 GHCVER=8.10.4 | Linux | passed |
| 805.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