aboutsummaryrefslogtreecommitdiff
path: root/devel/frama-c
Commit message (Collapse)AuthorAgeFilesLines
* temporarily fix the build by reverting to the use of the bundledBrendan Fabeny2012-06-272-8/+6
| | | | | | | ocamlgraph 1.8, rather than math/ocaml-ocamlgraph Notes: svn path=/head/; revision=300070
* - Mark BROKEN: does not buildPav Lucistnik2012-06-261-0/+2
| | | | | | | | | | The field `compare' is required but not provided gmake: *** [src/misc/service_graph.cmo] Error 2 Reported by: pointyhat Notes: svn path=/head/; revision=300045
* - update png to 1.5.10Dirk Meyer2012-06-011-0/+2
| | | | Notes: svn path=/head/; revision=297915
* update to Nitrogen-20111001Brendan Fabeny2011-12-213-144/+219
| | | | Notes: svn path=/head/; revision=287774
* fix the plist after the recent ocamlgraph update by permittingBrendan Fabeny2011-10-211-16/+19
| | | | | | | | | | the use of external ocamlgraph-1.8 [1]; indent the post-patch target for clarity Reported by: pav, johans [1] Notes: svn path=/head/; revision=284056
* Add frama-c , extensible platform for source-code analysis of C.Brendan Fabeny2011-09-184-0/+1033
Notes: svn path=/head/; revision=281948