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 artic

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 http://blog.regehr.org/?s=compcert&searchsubmit=Search