3 ms·
CompCert has had bugs in its C compilation before, for instance because the assembly to binary translation wasn't verified.
by astrange 3y ago
CompCert has had bugs in its C compilation before, for instance because the assembly to binary translation wasn't verified.