A Proven Correct C Compiler (Used by Airbus) (Score: 150+ in 8 hours)
Link: https://readhacker.news/s/4Pszr
Comments: https://readhacker.news/c/4Pszr
Link: https://readhacker.news/s/4Pszr
Comments: https://readhacker.news/c/4Pszr
GitHub
GitHub - AbsInt/CompCert: The CompCert formally-verified C compiler
The CompCert formally-verified C compiler. Contribute to AbsInt/CompCert development by creating an account on GitHub.
