Skip to content
New issue

3.A Patch interface

Due by May 15, 2025 0% complete

Exit Criteria:

  • We empower developers to articulate program patches using a C-like language.

Deliverables:

  • Description of C-like language to specify program patch.

There are no closed issues in this milestone.

Issues will automatically be moved here when they are closed.