lvc
LVC verified compiler
57 stars
6 watching
2 forks
Language: Coq
last commit: almost 6 years ago compilercompiler-designconstant-propagationcoqcoq-formalizationlvclvc-compilerregister-allocationregister-assignmentspillingssa-constructionverificationverified-compiler