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?