LVC verified compiler
compiler
coq
verification
coq-formalization
register-allocation
compiler-design
verified-compiler
lvc
lvc-compiler
register-assignment
spilling
constant-propagation
ssa-construction
-
Updated
Nov 1, 2018 - Coq