Pascal Wittmann 06e2fdc62e spin: update from 6.4.1 to 6.4.3		2015-04-28 09:57:10 +02:00
..
cccc
checkstyle	checkstyle: update from 6.4.1 to 6.5	2015-04-08 16:03:03 +02:00
clang-analyzer
coan	coan: only build on Linux	2015-03-01 12:32:13 +01:00
cov-build
cppcheck	cppcheck: 1.67 -> 1.68	2015-02-05 16:58:21 +01:00
emma
findbugs	findbugs: update from 3.0.0 to 3.0.1	2015-03-09 19:35:24 +01:00
flow
frama-c
include-what-you-use	include-what-you-use: pin clang to version 3.5	2015-03-26 00:29:42 +01:00
jdepend
lcov
massif-visualizer
pmd	pmd: update from 4.2.6 to 5.2.3	2015-03-12 21:19:49 +01:00
radare
radare2
rr	nixpkgs: rr 2.0.0 -> 3.0.0, with 64bit support	2014-12-12 01:20:23 -06:00
smatch
sparse
spin	spin: update from 6.4.1 to 6.4.3	2015-04-28 09:57:10 +02:00
splint
valgrind	valgrind: patch build system to allow linux kernels of v4.x	2015-04-21 20:40:15 -07:00
valkyrie