Repository navigation
Support array updates #63
Description
The next version of copilot will likely add an array update operation (see Copilot-Language/copilot#36). We should add support for reasoning about array updates on the copilot-verifier side as well, making sure to include some test cases.
Activity
Require building with Copilot 4.0. Refs #63.
Add example demonstrating array update support. Fixes #63.
Document changes in the CHANGELOG. Refs #63.
Require building with Copilot 4.0. Refs #63.
Add example demonstrating array update support. Fixes #63.
Document changes in the CHANGELOG. Refs #63.