4 ms·Looking at all the comments here, one question seems missing yet relevant: why is CompCert not used?by exikyut 7y agoLooking at all the comments here, one question seems missing yet relevant: why is CompCert not used?