nixpkgs/pkgs/development/tools/analysis
Matthew Maurer af33b23de3 frama-c: Aluminum -> Silicon
Upgrade required to work with new ocamlgraph
2017-03-28 19:14:08 +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 use dontBuild instead of hacks 2016-05-04 10:11:04 +00:00
coan use the sourceforge mirrors everywhere 2016-02-28 12:07:42 +00:00
cov-build nixpkgs: cov-build 7.0.2 2014-04-29 16:00:34 -05:00
cppcheck cppcheck: 1.74 -> 1.76.1 2016-10-21 16:56:40 +03:00
egypt foswiki, egypt, wml: fix build 2016-04-25 16:22:52 +02:00
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.41.0 -> 0.42.0 2017-03-21 21:36:51 +03:00
frama-c frama-c: Aluminum -> Silicon 2017-03-28 19:14:08 +00:00
garcosim tracefilesim: disable fortify hardening 2016-08-02 20:21:29 +02:00
include-what-you-use include-what-you-use: 0.5 -> 0.6 2016-05-16 20:27:31 +02:00
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.10 -> 1.12; maintain 2016-07-08 03:27:07 +03:00
massif-visualizer kde4.kdelibs -> kdelibs4 2017-02-24 17:16:28 -06:00
pmd treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
qcachegrind qcachegrind: pin to Qt 5.6 and correct packaging errors 2017-03-25 08:49:36 -05:00
radare treewide: explicitly specify gtk version 2016-09-13 21:09:24 +03:00
radare2 radare2: fix hash 2017-03-22 08:54:35 +01:00
rr rr: 4.4.0 -> 4.5.0 2017-02-05 22:00:42 +01:00
smatch treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
sparse Fix many package descriptions 2014-08-24 22:31:37 +02:00
spin spin: add ispin with tools 2016-03-26 17:05:29 +03:00
splint splint: improve meta attributes 2013-08-06 21:20:47 +02:00
swarm treewide: quote URLs in my packages 2016-11-24 01:17:52 +03:00
valgrind valgrind: enable darwin build 2017-03-11 20:29:52 +01:00
valkyrie valkyrie: move to qmake4Hook 2016-04-20 18:55:54 +03:00
verasco treewide: move to ocaml-ng system 2016-09-26 02:36:49 +03:00