summaryrefslogtreecommitdiff
path: root/willow/lib/IR/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* [willow]: finish verifier (#7)Stefan Weigl-Bosker2026-01-201-54/+269
* [willow]: iron out design (#6)Stefan Weigl-Bosker2026-01-151-13/+21
* [willow]: documentation cleanup (#4)Stefan Weigl-Bosker2026-01-131-6/+11
* [willow]: verifier work (#3)Stefan Weigl-Bosker2026-01-121-0/+181