Vincent Laporte 939e2d702f frama-c: link to the apron library		2017-01-14 09:34:34 +00:00
..
cccc	Merge branch 'master' into staging	2016-08-24 11:57:44 +01:00
checkstyle	checkstyle: 6.18 -> 6.19	2016-11-19 21:11:54 +01:00
clang-analyzer
coan
cov-build
cppcheck	cppcheck: 1.74 -> 1.76.1	2016-10-21 16:56:40 +03:00
egypt
emma	treewide: Add lots of meta.platforms	2016-08-02 21:42:43 +03:00
findbugs	treewide: Add lots of meta.platforms	2016-08-02 21:42:43 +03:00
flow	flow: 0.36.0 -> 0.37.1	2016-12-16 16:02:27 +00:00
frama-c	frama-c: link to the apron library	2017-01-14 09:34:34 +00:00
garcosim	tracefilesim: disable fortify hardening	2016-08-02 20:21:29 +02:00
include-what-you-use
jdepend
kcov	kcov: 29 -> 32	2017-01-01 03:32:31 +01:00
lcov
massif-visualizer
pmd	treewide: Add lots of meta.platforms	2016-08-02 21:42:43 +03:00
radare	treewide: explicitly specify gtk version	2016-09-13 21:09:24 +03:00
radare2	radare2: 0.9.7 -> 0.10.6	2016-10-02 17:19:19 +02:00
rr	rr: 4.3.0 -> 4.4.0	2017-01-13 00:44:30 -05:00
smatch	treewide: Add lots of meta.platforms	2016-08-02 21:42:43 +03:00
sparse
spin
splint
swarm	treewide: quote URLs in my packages	2016-11-24 01:17:52 +03:00
valgrind	valgrind: 3.11.0 -> 3.12.0	2016-10-25 17:22:00 +03:00
valkyrie
verasco	treewide: move to ocaml-ng system	2016-09-26 02:36:49 +03:00