3 ms·
There is CompCert, a C compiler
by progval 10y ago
There is CompCert, a C compiler
- pron 10y agoYes, I know about CompCert, but it took painstaking work by a world expert, and even he doesn't seem too thrilled about the process. So I'd love to hear a first-person account.
- maxiepoo 10y agoCompCert took painstaking work by many world experts, it was certainly not some heroic one-man effort by Xavier.