4 ms·I love that CompCert is now a thing. Does it perform well compile-time-wise?by okaleniuk 5y agoI love that CompCert is now a thing. Does it perform well compile-time-wise?