Frama-C 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 MoreHere 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 MoreFollowing 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 MoreI have unpublished the last post. It was written in a hurry because it partially answered a question in the mailing list. It needs more work to explain the problem being solved. Sorry.
Read MorePerhaps you are looking for something to do pending the upcoming release of Frama-C (someone called it \Nitrozen" once by accident in a commit message. I would like the name to stick but I anticipate it won't)… Or you are already a serious user of the value analysis plug-in or...
Read More