v4.8.2

[ivanperez-keera]

copilot

• Version bump (4.8.2). (Release 4.8.2 #792)
• Adjust Travis CI script to flag presence of tabs as an error. (copilot: Configure CI to flag tabs #774)
• Adjust Travis CI script to flag trailing space as an error. (copilot: Configure CI to flag trailing spaces #777)
• Update README to correct typos and improve readability. (copilot: Typos and poor style in README #779)
• Replace Travis CI with Github Actions. (copilot: Failure to build in CI due to Travis CI incorrectly reporting plan out of credits #790)

copilot-core

• Version bump (4.8.2). (Release 4.8.2 #792)
• Increase test coverage for Copilot.Core.Type.Array. (copilot-core: Tests of Copilot.Core.Type.Array do not achieve full coverage for main coverage categories #767)
• Fix errors in the documentation of Copilot.Core.Spec. (copilot-core: Documentation of Copilot.Core.Spec contains grammatical errors #769)
• Replace tab in CHANGELOG. (Multiple files contain tabs #772)
• Fix comments for two tests in Test.Copilot.Core.Type. (copilot-core: Descriptions of two tests in Test.Copilot.Core.Type are incorrect #781)
• Fix typo in Haddock comment of test property. (copilot-core: Haddock comment for test property contains typo #783)
• Fix test to use typeSize instead of typeLength (copilot-core: Test property purports to test type size but instead tests type length #784).

copilot-bluespec

• Version bump (4.8.2). (Release 4.8.2 #792)
• Replace tabs in DESIGN.md. (Multiple files contain tabs #772)
• Remove trailing spaces. (copilot-bluespec: Library contains trailing spaces #775)

copilot-c99

• Version bump (4.8.2). (Release 4.8.2 #792)

copilot-interpreter

• Version bump (4.8.2). (Release 4.8.2 #792)
• Replace tab in Copilot.Interpreter.Eval. (Multiple files contain tabs #772)

copilot-language

• Version bump (4.8.2). (Release 4.8.2 #792)

copilot-libraries

• Version bump (4.8.2). (Release 4.8.2 #792)
• Add random stream generation module. (copilot-libraries: Add random stream generators #766)

copilot-prettyprinter

• Version bump (4.8.2). (Release 4.8.2 #792)

copilot-theorem

• Version bump (4.8.2). (Release 4.8.2 #792)

copilot-verifier

• Version bump (4.8.2). (Release 4.8.2 #792)

copilot-visualizer

• Version bump (4.8.2). (Release 4.8.2 #792)

New Contributors

• @kavehz-nasa made their first contribution in copilot-core: Fix comments for two tests in Test.Copilot.Core.Type. Refs #781. #782
• @jamestoddgloyd made their first contribution in copilot-libraries: Add random stream generation module. Refs #766. #788

Full Changelog: v4.8.1...v4.8.2

---

This discussion was created from the release v4.8.2.