Frama-C 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 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 MoreSo I walked into a bar, and I said: Ah! Ah! There's a new Firefox, and one item in the release notes is \Drastically improved memory handling for certain use cases". Nice phrase. We'll remember it for when we too fix a memory leak. Someone who knew about Firefox internals...
Read MoreIt struck me, writing both the last and the next posts, that I mostly assume that the reader — you — has already read and remembers the gist of previous posts and/or the documentation. I am pretty sure this would be considered a bad habit in some circles. In fact,...
Read More