CompCert icon indicating copy to clipboard operation
CompCert copied to clipboard
verified publisher icon AbsInt

Refactoring in RTLgen

Open Artalik opened this issue 5 years ago • 0 comments

Using the monad defined above in RTLgen and adjusting some proofs

Artalik avatar Sep 22 '20 10:09 Artalik