v4.8.1

[ivanperez-keera]

copilot

• Version bump (4.8.1). (Release 4.8.1 #760)
• Disable secure mode in Cabal in Travis CI. (CI jobs fail while checking server signatures during Haskell tool setup #753)

copilot-core

• Version bump (4.8.1). (Release 4.8.1 #760)

copilot-bluespec

• Version bump (4.8.1). (Release 4.8.1 #760)
• Replace tab in CHANGELOG. (copilot-bluespec: CHANGELOG contains tab #755)

copilot-c99

• Version bump (4.8.1). (Release 4.8.1 #760)

copilot-interpreter

• Version bump (4.8.1). (Release 4.8.1 #760)

copilot-language

• Version bump (4.8.1). (Release 4.8.1 #760)

copilot-libraries

• Version bump (4.8.1). (Release 4.8.1 #760)

copilot-prettyprinter

• Version bump (4.8.1). (Release 4.8.1 #760)

copilot-theorem

• Version bump (4.8.1). (Release 4.8.1 #760)
• Remove unnecessary extension. (copilot-theorem: Copilot.Theorem.What4.Translate enables PatternSynonyms unnecessarily #733)

copilot-verifier

• Version bump (4.8.1). (Release 4.8.1 #760)

copilot-visualizer

• Version bump (4.8.1). (Release 4.8.1 #760)
• Fix inconsistent version bounds for copilot in Cabal file. (copilot-visualizer: Cabal file indicates inconsistent version bounds for copilot #749)
• Relax version constraints on ogma-extra. (copilot-visualizer: Extend range of versions of ogma-extra #757)

Full Changelog: v4.8...v4.8.1

---

This discussion was created from the release v4.8.1.