4.B Meta-programming library for patching
Due by August 15, 2025
0% complete
Exit Criteria:
- Developers can specify more detailed requirements for patches, including insertion, deletion, or substitution of parts of the program represented in the Tower of IRs. Notably, they can pinpoint more nuanced locations, such as branches and loops.
Deliverables:
- A MLIR transformation library and its documentation to describe meta-patches.
Exit Criteria:
- Developers can specify more detailed requirements for patches, including insertion, deletion, or substitution of parts of the program represented in the Tower of IRs. Notably, they can pinpoint more nuanced locations, such as branches and loops.
Deliverables:
- A MLIR transformation library and its documentation to describe meta-patches.