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