2 ms·
If I've understood correctly, the compiling step is verified but the parsing and assembly steps are not, and no bugs have been found where valid input would hav
by tuukkah 7y ago
If I've understood correctly, the compiling step is verified but the parsing and assembly steps are not, and no bugs have been found where valid input would have been compiled to valid but wrong assembly. I didn't see a statement about this on CompCert's web site though.