nixpkgs/pkgs/development/tools/analysis
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 brakeman: init at 4.3.1 (#44294) 2018-08-01 15:15:29 +02:00
cccc
checkstyle checkstyle: 8.12 -> 8.13 2018-10-15 23:22:38 -07:00
clang-analyzer
coan
cov-build reewide: Purge all uses stdenv.system and top-level system 2018-08-30 17:20:32 -04:00
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 emma: add license 2018-08-05 16:37:30 +02:00
eresi eresi: init at 0.83-a3-phoenix 2018-07-31 08:17:39 +02:00
findbugs findbugs: add license 2018-08-05 16:40:43 +02:00
flow flow: 0.79.0 -> 0.80.0 2018-09-06 23:07:15 -07:00
frama-c framac: 20171101 (Sulfur) -> 20180502 (Chlorine) (#45455) 2018-08-22 23:13:48 +02:00
garcosim
hotspot
include-what-you-use include-what-you-use: 0.8 -> 0.10 2018-09-27 16:44:49 +02:00
jdepend jdepend: add myself (pSub) as maintainer 2018-07-17 22:00:14 +02:00
kcov kcov: 35 -> 36 2018-08-30 01:07:45 +09:00
lcov
makefile2graph makefile2graph: init at 2018-01-03 (#46136) 2018-09-18 08:03:14 +00:00
massif-visualizer
panopticon
pev pev: init at unstable-2018-07-22 2018-09-22 12:14:56 +02:00
pmd pmd: 6.7.0 -> 6.8.0 (#47736) 2018-10-11 13:20:01 +02:00
qcachegrind pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
radare pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
radare2 Merge pull request #48582 from dtzWill/update/radare2-cutter-1.7.2 2018-10-17 09:28:17 +01:00
randoop
retdec retdec: 3.0 -> 3.2 2018-10-11 23:53:00 +02: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
splint splint: update homepage 2018-09-02 20:55:47 +02:00
swarm
valgrind valgrind: enable debug info (#47251) 2018-09-24 22:57:38 +02:00
valkyrie valkyrie: add myself (pSub) as maintainer 2018-07-17 21:48:15 +02:00