1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-04 19:45:54 +00:00
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
checkstyle checkstyle: 6.18 -> 6.19 2016-11-19 21:11:54 +01:00
clang-analyzer
coan
cov-build
cppcheck cppcheck: 1.74 -> 1.76.1 2016-10-21 16:56:40 +03:00
egypt
emma
findbugs
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
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
massif-visualizer kde4.kdelibs -> kdelibs4 2017-02-24 17:16:28 -06:00
pmd
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
sparse
spin
splint
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
verasco treewide: move to ocaml-ng system 2016-09-26 02:36:49 +03:00