Skip to content

Support struct updates #57

New issue
New issue
Closed
#70
Closed
Support struct updates#57
#70
Labels
enhancementNew feature or request

Description

@RyanGlScott
RyanGlScott
opened on Jul 8, 2024

copilot-3.20 adds support for struct updates via the new UpdateField operation. We should add support for reasoning about struct updates on the copilot-verifier side as well, making sure to include some test cases.

Note that this is currently blocked on Copilot-Language/copilot#524.

Activity

  1. RyanGlScott
    added
    enhancementNew feature or request
    on Jul 8, 2024
  2. RyanGlScott
    added 5 commits that reference this issue on Sep 9, 2024

    Add example demonstrating struct update support. Fixes #57.

    b66f85a

    Document changes in the CHANGELOG. Refs #57.

    6cffd3c

    Add example demonstrating struct update support. Refs #57.

    1d0ab9c

    Document changes in the CHANGELOG. Refs #57.

    a2eb903

    Add example demonstrating struct update support. Refs #57.

    3abfa12
  3. RyanGlScott
    closed this as completedin #70on Sep 9, 2024
  4. RyanGlScott
    added a commit that references this issue on Sep 9, 2024

    Document changes in the CHANGELOG. Refs #57.

    a8114e2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions