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