summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* [willow]: documentation cleanup (#4)Stefan Weigl-Bosker2026-01-139-11/+3380
|
* [willow]: verifier work (#3)Stefan Weigl-Bosker2026-01-1216-116/+504
|
* [willow]: Diagnostics and plumbing (#2)Stefan Weigl-Bosker2026-01-117-0/+149
|
* feat: value abstraction (#1)Stefan Weigl-Bosker2026-01-105-26/+264
| | | | - Instructions are values - Instructions that don't produce a value have void type
* initStefan Weigl-Bosker2026-01-1024-0/+1179
wip wip, pt2 wip, pt3