copilot-bluespec: Include in mainline copilot repo. Refs #623.

.travis.yml

@@ -19,9 +19,19 @@ before_install:
   - travis_retry sudo apt-get update
   - travis_retry sudo apt-get install cabal-install-$CABALVER ghc-$GHCVER # see note about happy/alex
 
-  # We install z3 and cppcheck only for the tests, since they are not needed
-  # for normal compilation.
-  - if [ "${GHCVER}" == "8.10.4" ]; then travis_retry sudo apt-get install --yes z3 cppcheck; fi
+  # We install z3, cppcheck, and bsc only for the tests, since they are not
+  # needed for normal compilation.
+  - if [ "${GHCVER}" == "8.10.4" ]; then do
+      # Install z3 and cppcheck
+      travis_retry sudo apt-get install --yes z3 cppcheck;
+      # Install bsc
+      BSC_VERSION="2023.07"
+      BSC_DIR="bsc-${BSC_VERSION}-ubuntu-20.04"
+      wget "https://github.com/B-Lang-org/bsc/releases/download/${BSC_VERSION}/${BSC_DIR}.tar.gz"
+      tar -xzf "${BSC_DIR}.tar.gz"
+      rm "${BSC_DIR}.tar.gz"
+      export PATH="${PWD}/${BSC_DIR}/bin:${PATH}"
+    fi
 
   - export PATH=/opt/ghc/$GHCVER/bin:/opt/cabal/$CABALVER/bin:$PATH
   - cabal --version
@@ -33,7 +43,7 @@ script:
   # We explicitly install all libraries so that they are exposed and we can use
   # them for tests (e.g., with runhaskell). There is no harm in doing this
   # instead of installing just copilot.
-  - travis_wait 30 cabal v2-install --lib copilot copilot-core copilot-c99 copilot-language copilot-libraries copilot-theorem copilot-interpreter copilot-prettyprinter
+  - travis_wait 30 cabal v2-install --lib copilot copilot-bluespec copilot-core copilot-c99 copilot-language copilot-libraries copilot-theorem copilot-interpreter copilot-prettyprinter
 
   # Run tests only on GHC 8.10.4
   #
@@ -42,7 +52,7 @@ script:
   # Testing copilot-theorem and copilot-libraries requires z3. See above
   # conditional installation, and keep GHC version numbers in both places in
   # sync.
-  - 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 cabal v2-test -j1 copilot-bluespec copilot-core copilot-language copilot-interpreter copilot-c99 copilot-theorem copilot-libraries; fi
 
   # Check that the code produced by Copilot complies with MISRA C 2012. We
   # explicitly make cppcheck produce a non-zero exit code on non-compliance

copilot-bluespec/.dockerignore

@@ -0,0 +1,29 @@
+dist
+dist-*
+cabal-dev
+*.o
+*.hi
+*.chi
+*.chs.h
+*.dyn_o
+*.dyn_hi
+.hpc
+.hsenv
+.cabal-sandbox/
+cabal.sandbox.config
+*.prof
+*.aux
+*.hp
+*.eventlog
+.stack-work/
+cabal.project.local
+cabal.project.local~
+.HTF/
+.ghc.environment.*
+copilot-profiling
+.DS_Store
+.log
+
+Dockerfile
+.git
+.gitignore

copilot-bluespec/CHANGELOG

@@ -0,0 +1,44 @@
+2025-05-18
+        * Include `copilot-bluespec` in mainline `copilot` repo. (#623)
+
+2025-05-08
+        * Version bump (4.4). (copilot-bluespec#43)
+
+2025-05-05
+        * Version bump (4.3.1). (copilot-bluespec#41)
+        * Move Copilot.Compile.Bluespec.External out of shared directory.
+          (copilot-bluespec#36)
+        * Allow building with filepath-1.5.*. (copilot-bluespec#39)
+
+2025-03-10
+        * Version bump (4.3). (copilot-bluespec#34)
+
+2025-01-20
+        * Version bump (4.2). (copilot-bluespec#31)
+        * Implement missing floating-point operations. (copilot-bluespec#28)
+        * Allow using same trigger name in multiple declarations.
+          (copilot-bluespec#30)
+
+2024-11-08
+        * Version bump (4.1). (copilot-bluespec#25)
+
+2024-09-09
+        * Version bump (4.0). (copilot-bluespec#23)
+        * Support translating Copilot array updates to Bluespec.
+          (copilot-bluespec#19)
+
+2024-08-03
+        * Test GHC 9.4 through 9.8. (copilot-bluespec#20)
+
+2024-07-11
+        * Version bump (3.20). (copilot-bluespec#11)
+        * Support translating Copilot struct updates to Bluespec.
+          (copilot-bluespec#10)
+        * Fix a bug in the translation of the signum function.
+          (copilot-bluespec#14)
+        * Fix a bug in the translation of floating-point comparisons.
+          (copilot-bluespec#15)
+
+2024-03-08
+        * Version bump (3.19). (copilot-bluespec#5)
+        * Create new library for Bluespec backend.