Escher C Verifier Pascal Cuoq on 24 October 2011
According to David Crocker's blog Escher C Verifier has been released. Congratulations!
Read MoreBlog
How to waste a Friday evening Pascal Cuoq on 21 October 2011
Here is a quick recipe for completely wasting a Friday evening: use Csmith to generate a program that GCC happens to mis-compile in 32-bit into an executable that produces the same result as the correct 64-bit compilation of the same program; mess up the Clang double-check by forgetting the -m32...
Read MoreAcademie francaise Pascal Cuoq on 16 October 2011
This ranty post is because I never tire of trying the content management system on weird characters for its URLs. No, this post is really because David Mitchell himself has a new post up I find interesting. It very much follows the same general direction his posts usually do (if...
Read MoreFeatures in Frama-C Nitrogen, part 1 Pascal Cuoq on 14 October 2011
Here is a series of posts that highlight interesting features in the recently released Frama-C Nitrogen 20111001. There is new functionality in Nitrogen, that we hope will entice both existing and prospective users. Other improvements yet will only have meaning for existing users. I will start off with two items...
Read Moreframa-c-discuss Pascal Cuoq on 11 October 2011
Following a discussion about Open Source, science and the difficulty of making a living in this day and age, I went and looked at the frama-c-discuss mailing list archives to confirm a suspicion. Suspicion confirmed. The public mailing list is a waste of time. I vote we close it pure...
Read More