.. |
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
|
|
|
cpplint
|
cpplint: init at 1.3.0
|
2018-10-12 18:51:43 +00:00 |
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.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
|
radare2: 2.9.0 -> 3.0.0
|
2018-10-16 12:31:05 -05:00 |
randoop
|
|
|
retdec
|
retdec: 3.0 -> 3.2
|
2018-10-11 23:53:00 +02:00 |
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
|
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 |
verasco
|
|
|