v4.7

[ivanperez-keera]

copilot

• Version bump (4.7). (Release 4.7 #714)

copilot-core

• Version bump (4.7). (Release 4.7 #714)

copilot-bluespec

• Version bump (4.7). (Release 4.7 #714)

copilot-c99

• Version bump (4.7). (Release 4.7 #714)
• Raise error when compiling empty arrays or structs. (copilot-c99: Raise error when compiling an empty array or struct #695)

copilot-interpreter

• Version bump (4.7). (Release 4.7 #714)

copilot-language

• Version bump (4.7). (Release 4.7 #714)

copilot-libraries

• Version bump (4.7). (Release 4.7 #714)

copilot-prettyprinter

• Version bump (4.7). (Release 4.7 #714)

copilot-theorem

• Version bump (4.7). (Release 4.7 #714)

copilot-verifier

• Version bump (4.7). (Release 4.7 #714)
• Relax version constraints on what4. (Extend range of versions of dependencies #716)

copilot-visualizer

• Version bump (4.7). (Release 4.7 #714)
• Relax version constraints on ogma-extra. (Extend range of versions of dependencies #716)

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

---

This discussion was created from the release v4.7.

[ivanperez-keera]

Tagging @swt2c @juhp @fdedden for awareness.