3 ms·
CompCert took painstaking work by many world experts, it was certainly not some heroic one-man effort by Xavier.
by maxiepoo 10y ago
CompCert took painstaking work by many world experts, it was certainly not some heroic one-man effort by Xavier.