| .. |
|
autoflake
|
|
|
|
brakeman
|
brakeman: init at 4.3.1 (#44294)
|
2018-08-01 15:15:29 +02:00 |
|
cccc
|
|
|
|
checkstyle
|
checkstyle: add wrapper in bin
|
2018-08-20 14:42:05 +01: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
|
|
|
|
egypt
|
treewide: http -> https sources (#42676)
|
2018-06-28 20:43:35 +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.5.0 -> 6.7.0 (#46213)
|
2018-09-07 20:14:07 +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
|
radare2-cutter: 1.7 -> 1.7.1
|
2018-09-04 23:15:07 +01:00 |
|
randoop
|
|
|
|
retdec
|
|
|
|
rr
|
rr: enable on 32bit x86
|
2018-07-30 07:27:25 -05:00 |
|
smatch
|
|
|
|
snowman
|
snowman: 2017-11-19 -> 0.1.2
|
2018-07-03 20:23:04 -05:00 |
|
sparse
|
|
|
|
spin
|
|
|
|
splint
|
splint: update homepage
|
2018-09-02 20:55:47 +02:00 |
|
swarm
|
|
|
|
valgrind
|
reewide: Purge all uses stdenv.system and top-level system
|
2018-08-30 17:20:32 -04:00 |
|
valkyrie
|
valkyrie: add myself (pSub) as maintainer
|
2018-07-17 21:48:15 +02:00 |
|
verasco
|
|
|
