v4.6

[ivanperez-keera]

copilot

• Version bump (4.6). (Release 4.6 #679)

copilot-core

• Version bump (4.6). (Release 4.6 #679)

copilot-bluespec

• Version bump (4.6). (Release 4.6 #679)
• Flip direction of interface inputs and outputs in Bluespec. (copilot-bluespec: Flip direction of interface in bluespec #677)

copilot-c99

• Version bump (4.6). (Release 4.6 #679)

copilot-interpreter

• Version bump (4.6). (Release 4.6 #679)

copilot-language

• Version bump (4.6). (Release 4.6 #679)

copilot-libraries

• Version bump (4.6). (Release 4.6 #679)

copilot-prettyprinter

• Version bump (4.6). (Release 4.6 #679)

copilot-theorem

• Version bump (4.6). (Release 4.6 #679)

copilot-verifier

• Version bump (4.6). (Release 4.6 #679)

copilot-visualizer

• Version bump (4.6). (Release 4.6 #679)

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

---

This discussion was created from the release v4.6.