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