| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [willow]: initial IRBuilder API (#9) | Stefan Weigl-Bosker | 2026-02-19 | 1 | -16/+13 |
| | | | | | | | - add IRBuilder api - remove `name` field from `Value` - fix some bugs in IList interface - more verifier tests | ||||
| * | [willow]: finish verifier (#7) | Stefan Weigl-Bosker | 2026-01-20 | 1 | -54/+269 |
| | | |||||
| * | [willow]: iron out design (#6) | Stefan Weigl-Bosker | 2026-01-15 | 1 | -13/+21 |
| | | |||||
| * | [willow]: documentation cleanup (#4) | Stefan Weigl-Bosker | 2026-01-13 | 1 | -6/+11 |
| | | |||||
| * | [willow]: verifier work (#3) | Stefan Weigl-Bosker | 2026-01-12 | 1 | -0/+181 |