Vincent Laporte 65b1613456 frama-c: 20161101 (Silicon) -> 20170501 (Phosphorus)		2017-07-18 20:30:53 +02:00
..
cccc
checkstyle
clang-analyzer
coan
cov-build
cppcheck	cppcheck: 1.78 -> 1.79	2017-05-28 17:18:11 +02:00
egypt
emma
findbugs
flow	flow: 0.48.0 -> 0.49.1	2017-07-04 17:43:40 +02:00
frama-c	frama-c: 20161101 (Silicon) -> 20170501 (Phosphorus)	2017-07-18 20:30:53 +02:00
garcosim
hotspot	hotspot: init at 1.0.0	2017-07-09 22:30:41 +02:00
include-what-you-use
jdepend	jdepend: 2.9.0 -> 2.9.1, fix build	2017-03-20 21:29:47 +01:00
kcov	kcov: 29 -> 32	2017-01-01 03:32:31 +01:00
lcov	lcov: 1.12 -> 1.13	2017-04-09 21:48:25 +03:00
massif-visualizer	kde4.kdelibs -> kdelibs4	2017-02-24 17:16:28 -06:00
pmd
qcachegrind	qt5: remove makeQtWrapper	2017-06-18 08:44:42 -05:00
radare
radare2	radare2: 1.3.0 -> 1.4.0	2017-04-19 12:23:45 +02:00
randoop	randoop: init at 3.1.5	2017-06-04 17:19:23 +02:00
rr	rr: 4.4.0 -> 4.5.0	2017-02-05 22:00:42 +01:00
smatch
sparse
spin	spin: 6.4.5 -> 6.4.6	2017-07-01 10:16:14 +02:00
splint
swarm
valgrind	valgrind: enable darwin build	2017-03-11 20:29:52 +01:00
valkyrie
verasco