On Saturday, 2 November 2013 at 13:59:53 UTC, Timon Gehr wrote:
It took decades to write a certified C compiler.No, it took four years. CompCert was started in 2005.
CompCert is verified, not certified. While it is impressive work, is anybody using it in production?
