v3.16.1

copilot

• Version bump (3.16.1). (#455)

copilot-c99

• Version bump (3.16.1). (#455)
• Clean code. (#453)

copilot-core

• Version bump (3.16.1). (#455)

copilot-interpreter

• Version bump (3.16.1). (#455)

copilot-language

• Version bump (3.16.1). (#455)

copilot-libraries

• Version bump (3.16.1). (#455)
• Fix semantics of since in Copilot.Library.PTLTL. (#443)
• Prevent the majority function from generating unused local variables. (#408)

copilot-prettyprinter

• Version bump (3.16.1). (#455)

copilot-theorem

• Version bump (3.16.1). (#455)

New Contributors

• @InnovativeInventor made their first contribution in #450!!!!

Full Changelog: v3.16...v3.16.1