aboutsummaryrefslogtreecommitdiffstats
path: root/devel/frama-c
Commit message (Expand)AuthorAgeFilesLines
* update to the Oxygen releasebf2013-03-073-100/+132
* update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjustbf2013-03-061-8/+15
* temporarily fix the build by reverting to the use of the bundledbf2012-06-272-8/+6
* - Mark BROKEN: does not buildpav2012-06-271-0/+2
* - update png to 1.5.10dinoex2012-06-011-0/+2
* update to Nitrogen-20111001bf2011-12-213-144/+219
* fix the plist after the recent ocamlgraph update by permittingbf2011-10-211-16/+19
* Add frama-c , extensible platform for source-code analysis of C.bf2011-09-184-0/+1033