silt icon indicating copy to clipboard operation
silt copied to clipboard
verified publisher icon silt-lang

Rewrite the GraphIR Verifier

Open CodaFi opened this issue 7 years ago • 0 comments

Part of #99 because requirements will change as we flesh out the lowering algorithm.

CodaFi avatar Mar 05 '18 04:03 CodaFi