Frederik Rietdijk 0196d8f11c Merge master into staging-next		2019-05-07 09:00:06 +02:00
..
autoflake	autoflake: 1.2 -> 1.3	2019-04-29 22:33:12 -07:00
brakeman	brakeman: 4.4.0 -> 4.5.0	2019-03-16 12:20:30 -05:00
cccc
checkstyle	checkstyle: 8.19 -> 8.20	2019-04-30 05:48:19 -07:00
clang-analyzer
coan
cov-build
cppcheck	cppcheck: 1.86 -> 1.87	2019-03-01 16:45:06 -08:00
cpplint	cpplint: init at 1.3.0	2018-10-12 18:51:43 +00:00
egypt	Replace platforms.linux with platforms.darwin for expressions that compile on darwin too (too restrictive platforms)	2019-02-18 10:56:58 +01:00
emma
eresi
evmdis	evmdis: init at unstable-2018-03-23	2019-02-20 11:38:20 +01:00
findbugs
flow	flow: 0.98.0 -> 0.98.1	2019-05-07 00:05:00 -05:00
frama-c	frama-c: Chlorine -> Argon	2018-12-09 19:50:38 +00:00
garcosim
hopper	hopper: init at 4.5.7	2019-03-12 06:48:39 -07:00
hotspot
ikos	ikos: init at 2.1	2018-12-12 00:09:24 +00:00
include-what-you-use
jdepend	treewide: use runtimeShell instead of stdenv.shell whenever possible	2019-02-26 14:10:49 +00:00
kcov
lcov	lcov: 1.13 -> 1.14	2019-03-17 11:04:02 +01:00
makefile2graph
massif-visualizer
panopticon
pev
pmd	pmd: 6.13.0 -> 6.14.0	2019-05-01 18:34:53 -07:00
qcachegrind
radare2	radare2: 3.3.0 -> 3.4.1	2019-04-09 10:36:41 +01:00
randoop
retdec	retdec: remove pycache from install dir	2019-01-12 16:48:40 +01:00
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	spin: use dropbox "mirror" again to avoid problems	2019-01-19 21:35:05 -06:00
splint
swarm
valgrind	Merge master into staging-next	2019-05-07 09:00:06 +02:00
valkyrie