Frama-C Nitrogen-20111001 is a major release: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2011-October/002821.html …
11:14 AM - 10 Oct 2011
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.