summaryrefslogtreecommitdiff
path: root/willow/include/willow/IR/Verifier.h
Commit message (Expand)AuthorAgeFilesLines
* [willow]: finish verifier (#7)Stefan Weigl-Bosker2026-01-201-4/+10
* [willow]: iron out design (#6)Stefan Weigl-Bosker2026-01-151-2/+0
* [willow]: documentation cleanup (#4)Stefan Weigl-Bosker2026-01-131-2/+2
* [willow]: verifier work (#3)Stefan Weigl-Bosker2026-01-121-0/+27