| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [willow]: more cleanup, testsmore-tests | Stefan Weigl-Bosker | 2026-02-19 | 11 | -56/+329 |
| | | |||||
| * | [willow]: initial IRBuilder API (#9) | Stefan Weigl-Bosker | 2026-02-19 | 4 | -43/+281 |
| | | | | | | | - add IRBuilder api - remove `name` field from `Value` - fix some bugs in IList interface - more verifier tests | ||||
| * | [willow]: initial frontend work, unit tests (#8)dev/stefan | Stefan Weigl-Bosker | 2026-02-03 | 2 | -2/+43 |
| | | |||||
| * | [willow]: finish verifier (#7) | Stefan Weigl-Bosker | 2026-01-20 | 1 | -54/+269 |
| | | |||||
| * | [willow]: iron out design (#6) | Stefan Weigl-Bosker | 2026-01-15 | 2 | -14/+57 |
| | | |||||
| * | [willow]: documentation cleanup (#4) | Stefan Weigl-Bosker | 2026-01-13 | 1 | -6/+11 |
| | | |||||
| * | [willow]: verifier work (#3) | Stefan Weigl-Bosker | 2026-01-12 | 2 | -0/+183 |
| | | |||||
| * | [willow]: Diagnostics and plumbing (#2) | Stefan Weigl-Bosker | 2026-01-11 | 1 | -0/+1 |
| | | |||||
| * | init | Stefan Weigl-Bosker | 2026-01-10 | 1 | -0/+0 |
| wip wip, pt2 wip, pt3 | |||||