3 ms·
Compcert is not without bugs either. The very blog this post references talks about some.
by mansr 15y ago
Compcert is not without bugs either. The very blog this post references talks about some.
- evangineer 15y agoThanks 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