Lancern's Treasure Chest
23:08 · Jun 27, 2021 · Sun
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
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.
Home
Powered by
BroadcastChannel
&
Sepia