Jörg Thalheim b5ad615474 verasco: remove unmaintained project ... Verasco is no longer maintained by upstream and blocks updates of some libraries. Removing it also makes it possible to remove coq 8.4.		2018-10-30 13:31:11 +00:00
..
autoflake
brakeman
cccc
checkstyle	checkstyle: 8.12 -> 8.13	2018-10-15 23:22:38 -07:00
clang-analyzer
coan
cov-build
cppcheck	cppcheck: 1.84 -> 1.85	2018-10-29 00:19:46 +03:00
cpplint	cpplint: init at 1.3.0	2018-10-12 18:51:43 +00:00
egypt	buildPerlPackage -> perlPackages.buildPerlPackage	2018-10-14 09:10:41 +02:00
emma
eresi
findbugs
flow
frama-c
garcosim
hotspot
include-what-you-use
jdepend
kcov
lcov
makefile2graph
massif-visualizer
panopticon
pev
pmd
qcachegrind
radare
radare2	Merge pull request #48582 from dtzWill/update/radare2-cutter-1.7.2	2018-10-17 09:28:17 +01:00
randoop
retdec
rr	rr: build according to C++14 standard	2018-10-21 16:18:36 +02:00
smatch
snowman	snowman: 0.1.2 -> 0.1.3	2018-10-19 20:56:40 -05:00
sparse
spin
splint
swarm
valgrind
valkyrie