v4.8.2

copilot

• Version bump (4.8.2). (#792)
• Adjust Travis CI script to flag presence of tabs as an error. (#774)
• Adjust Travis CI script to flag trailing space as an error. (#777)
• Update README to correct typos and improve readability. (#779)
• Replace Travis CI with Github Actions. (#790)

copilot-core

• Version bump (4.8.2). (#792)
• Increase test coverage for Copilot.Core.Type.Array. (#767)
• Fix errors in the documentation of Copilot.Core.Spec. (#769)
• Replace tab in CHANGELOG. (#772)
• Fix comments for two tests in Test.Copilot.Core.Type. (#781)
• Fix typo in Haddock comment of test property. (#783)
• Fix test to use typeSize instead of typeLength (#784).

copilot-bluespec

• Version bump (4.8.2). (#792)
• Replace tabs in DESIGN.md. (#772)
• Remove trailing spaces. (#775)

copilot-c99

• Version bump (4.8.2). (#792)

copilot-interpreter

• Version bump (4.8.2). (#792)
• Replace tab in Copilot.Interpreter.Eval. (#772)

copilot-language

• Version bump (4.8.2). (#792)

copilot-libraries

• Version bump (4.8.2). (#792)
• Add random stream generation module. (#766)

copilot-prettyprinter

• Version bump (4.8.2). (#792)

copilot-theorem

• Version bump (4.8.2). (#792)

copilot-verifier

• Version bump (4.8.2). (#792)

copilot-visualizer

• Version bump (4.8.2). (#792)

New Contributors

• @kavehz-nasa made their first contribution in #782
• @jamestoddgloyd made their first contribution in #788

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

v4.8.1

copilot

• Version bump (4.8.1). (#760)
• Disable secure mode in Cabal in Travis CI. (#753)

copilot-core

• Version bump (4.8.1). (#760)

copilot-bluespec

• Version bump (4.8.1). (#760)
• Replace tab in CHANGELOG. (#755)

copilot-c99

• Version bump (4.8.1). (#760)

copilot-interpreter

• Version bump (4.8.1). (#760)

copilot-language

• Version bump (4.8.1). (#760)

copilot-libraries

• Version bump (4.8.1). (#760)

copilot-prettyprinter

• Version bump (4.8.1). (#760)

copilot-theorem

• Version bump (4.8.1). (#760)
• Remove unnecessary extension. (#733)

copilot-verifier

• Version bump (4.8.1). (#760)

copilot-visualizer

• Version bump (4.8.1). (#760)
• Fix inconsistent version bounds for copilot in Cabal file. (#749)
• Relax version constraints on ogma-extra. (#757)

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

v4.8

copilot

• Version bump (4.8). (#745)

copilot-core

• Version bump (4.8). (#745)

copilot-bluespec

• Version bump (4.8). (#745)

copilot-c99

• Version bump (4.8). (#745)

copilot-interpreter

• Version bump (4.8). (#745)

copilot-language

• Version bump (4.8). (#745)

copilot-libraries

• Version bump (4.8). (#745)

copilot-prettyprinter

• Version bump (4.8). (#745)

copilot-theorem

• Version bump (4.8). (#745)
• Extend range of versions of Kind2. (#734)

copilot-verifier

• Version bump (4.8). (#745)

copilot-visualizer

• Version bump (4.8). (#745)

Full Changelog: v4.7.1...v4.8

v4.7.1

copilot

• Version bump (4.7.1). (#730)

copilot-core

• Version bump (4.7.1). (#730)

copilot-bluespec

• Version bump (4.7.1). (#730)
• Fix translation of special Float values to Bluespec. (#697)

copilot-c99

• Version bump (4.7.1). (#730)

copilot-interpreter

• Version bump (4.7.1). (#730)

copilot-language

• Version bump (4.7.1). (#730)

copilot-libraries

• Version bump (4.7.1). (#730)
• Add stream analysis module. (#726)
• Add state machine module. (#728)

copilot-prettyprinter

• Version bump (4.7.1). (#730)

copilot-theorem

• Version bump (4.7.1). (#730)
• Handle special Float values correctly for counterexamples. (#697)
• Update examples to compile with copilot-theorem >= 3.0. (#692)

copilot-verifier

• Version bump (4.7.1). (#730)

copilot-visualizer

• Version bump (4.7.1). (#730)

Full Changelog: v4.7...v4.7.1

v4.7

copilot

• Version bump (4.7). (#714)

copilot-core

• Version bump (4.7). (#714)

copilot-bluespec

• Version bump (4.7). (#714)

copilot-c99

• Version bump (4.7). (#714)
• Raise error when compiling empty arrays or structs. (#695)

copilot-interpreter

• Version bump (4.7). (#714)

copilot-language

• Version bump (4.7). (#714)

copilot-libraries

• Version bump (4.7). (#714)

copilot-prettyprinter

• Version bump (4.7). (#714)

copilot-theorem

• Version bump (4.7). (#714)

copilot-verifier

• Version bump (4.7). (#714)
• Relax version constraints on what4. (#716)

copilot-visualizer

• Version bump (4.7). (#714)
• Relax version constraints on ogma-extra. (#716)

Full Changelog: v4.6.1...v4.7

v4.6.1

copilot

• Version bump (4.6.1). (#705)
• Relax version constraint on optparse-applicative. (#603)

copilot-core

• Version bump (4.6.1). (#705)

copilot-bluespec

• Version bump (4.6.1). (#705)
• Disable test suite via newly added manual cabal flag. (#673)
  • Fix translation of constant floating-point values. (#696)

copilot-c99

• Version bump (4.6.1). (#705)

copilot-interpreter

• Version bump (4.6.1). (#705)

copilot-language

• Version bump (4.6.1). (#705)
• Relax version constraint on containers. (#603)

copilot-libraries

• Version bump (4.6.1). (#705)
• Relax version constraint on containers. (#603)

copilot-prettyprinter

• Version bump (4.6.1). (#705)

copilot-theorem

• Version bump (4.6.1). (#705)
• Relax version constraint on containers, random. (#603)

copilot-verifier

• Version bump (4.6.1). (#705)

copilot-visualizer

• Version bump (4.6.1). (#705)

New Contributors

• @chathhorn-galois made their first contribution in #702
• @tkann-galois made their first contribution in #703

Full Changelog: v4.6...v4.6.1

v4.6

copilot

• Version bump (4.6). (#679)

copilot-core

• Version bump (4.6). (#679)

copilot-bluespec

• Version bump (4.6). (#679)
• Flip direction of interface inputs and outputs in Bluespec. (#677)

copilot-c99

• Version bump (4.6). (#679)

copilot-interpreter

• Version bump (4.6). (#679)

copilot-language

• Version bump (4.6). (#679)

copilot-libraries

• Version bump (4.6). (#679)

copilot-prettyprinter

• Version bump (4.6). (#679)

copilot-theorem

• Version bump (4.6). (#679)

copilot-verifier

• Version bump (4.6). (#679)

copilot-visualizer

• Version bump (4.6). (#679)

Full Changelog: v4.5.1...v4.6

v4.5.1

copilot

• Version bump (4.5.1). (#666)
• Add hello world example for FPGA. (#657)

copilot-core

• Version bump (4.5.1). (#666)

copilot-bluespec

• Version bump (4.5.1). (#666)

copilot-c99

• Version bump (4.5.1). (#666)

copilot-interpreter

• Version bump (4.5.1). (#666)

copilot-language

• Version bump (4.5.1). (#666)

copilot-libraries

• Version bump (4.5.1). (#666)

copilot-prettyprinter

• Version bump (4.5.1). (#666)

copilot-theorem

• Version bump (4.5.1). (#666)
• Remove unused function Copilot.Theorem.Misc.SExpr.parseSExpr. (#661)

copilot-verifier

• Version bump (4.5.1). (#666)

copilot-visualizer

• Version bump (4.5.1). (#666)
• Relax version constraint on ogma-extra. (#645)

New Contributors

• @sukhmankkahlon made their first contribution in #658

Full Changelog: v4.5...v4.5.1

v4.5

copilot

• Version bump (4.5). (#642)

copilot-core

• Version bump (4.5). (#642)
• Remove deprecated fields of Copilot.Core.Expr.UExpr. (#636)

copilot-bluespec

• Version bump (4.5). (#642)
• Include copilot-bluespec in mainline copilot repo. (#623)

copilot-c99

• Version bump (4.5). (#642)

copilot-interpreter

• Version bump (4.5). (#642)

copilot-language

• Version bump (4.5). (#642)

copilot-libraries

• Version bump (4.5). (#642)

copilot-prettyprinter

• Version bump (4.5). (#642)

copilot-theorem

• Version bump (4.5). (#642)
• Removed unused pragmas. (#613)
• Relax version constraint on what4. (#611)

copilot-verifier

• Version bump (4.5). (#642)
• Include copilot-verifier in mainline copilot repo. (#622)

copilot-visualizer

• Version bump (4.5). (#642)
• Include in mainline. (#624)

New Contributors

• @carte731 made their first contribution in #638

Full Changelog: v4.4...v4.5

v4.4

copilot

• Version bump (4.4). (#618)
• Update build status badge URL. (#612)

copilot-core

• Version bump (4.4). (#618)
• Remove deprecated Copilot.Core.Type.uTypeType. (#615)

copilot-c99

• Version bump (4.4). (#618)

copilot-interpreter

• Version bump (4.4). (#618)

copilot-language

• Version bump (4.4). (#618)

copilot-libraries

• Version bump (4.4). (#618)

copilot-prettyprinter

• Version bump (4.4). (#618)

copilot-theorem

• Version bump (4.4). (#618)
• Translate quantifiers correctly in Kind2 backend. (#594)

Full Changelog: v4.3...v4.4