Compcert is not without bugs either. The very blog this post references talks ab... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

mansr on June 4, 2011 | parent | context | favorite | on: Are there subsets of C that avoid compiler bugs?

Compcert is not without bugs either. The very blog this post references talks about some.

evangineer on June 4, 2011 [–]

Thanks for the heads up, I hadn't seen anything in the article about CompCert, but on doing a search I found there are quite a few mentions of it on other articles on the blog:

http://blog.regehr.org/?s=compcert&searchsubmit=Search

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact