6.B Meta-programming library for contracts
Due by May 15, 2026
0% complete
Exit Criteria:
- Developers can specify more detailed requirements for contracts, indicating where to insert them into 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-contracts.
Exit Criteria:
- Developers can specify more detailed requirements for contracts, indicating where to insert them into 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-contracts.