silt
silt copied to clipboard
Rewrite the GraphIR Verifier
Part of #99 because requirements will change as we flesh out the lowering algorithm.