CompCert, a verified (optimizing) C compiler for embedded systems.compcert.inria.fr2 points·thesz··0 commentsOpen articleSaveView on HN