| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [willow]: initial IRBuilder API (#9) | Stefan Weigl-Bosker | 2026-02-19 | 4 | -52/+83 |
| | | | | | | | - 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 | 4 | -0/+81 |