v4.0

copilot

• Version bump (4.0). (#532)
• Update example to demonstrate struct update support. (#524)
• Update example to demonstrate array update support. (#36)

copilot-core

• Version bump (4.0). (#532)
• Update Op3, Array to support array updates. (#36)

copilot-c99

• Version bump (4.0). (#532)
• Add support for array updates. (#36)

copilot-interpreter

• Version bump (4.0). (#532)
• Add support for array updates. (#36)

copilot-language

• Version bump (4.0). (#532)
• Add support for array updates. (#36)

copilot-libraries

• Version bump (4.0). (#532)
• Rename operator to avoid name clash. (#36)

copilot-prettyprinter

• Version bump (4.0). (#532)
• Add support for pretty-printing struct update expressions. (#526)
• Add support for pretty-printing array update expressions. (#36)

copilot-theorem

• Version bump (4.0). (#532)
• Add support for struct updates in Copilot.Theorem.What4. (#524)
• Add support for array updates in Copilot.Theorem.What4. (#36)

Full Changelog: v3.20...v4.0