.. |
autoflake
|
python: autoflake: 1.1 -> 1.2
|
2018-06-22 13:09:35 +02:00 |
brakeman
|
brakeman: init at 4.3.1 (#44294)
|
2018-08-01 15:15:29 +02:00 |
cccc
|
|
|
checkstyle
|
checkstyle: 8.10.1 -> 8.11
|
2018-07-01 16:39:22 +02:00 |
clang-analyzer
|
|
|
coan
|
|
|
cov-build
|
|
|
cppcheck
|
cppcheck: 1.83 -> 1.84
|
2018-06-14 08:25:37 -07: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.78.0 -> 0.79.0
|
2018-08-17 12:08:53 +09:30 |
frama-c
|
|
|
garcosim
|
|
|
hotspot
|
|
|
include-what-you-use
|
treewide: http to https
|
2018-04-30 21:39:20 -07:00 |
jdepend
|
jdepend: add myself (pSub) as maintainer
|
2018-07-17 22:00:14 +02:00 |
kcov
|
kcov: fix build on aarch64
|
2018-04-28 00:10:40 +02:00 |
lcov
|
|
|
massif-visualizer
|
tree-wide: autorename gnome packages to use dashes
|
2018-02-25 17:41:16 +01:00 |
panopticon
|
panopticon: init -> 0.16.0
|
2018-03-26 22:42:36 +02:00 |
pmd
|
pmd: 6.4.0 -> 6.5.0 (#42685)
|
2018-06-30 19:08:04 +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.6.0 -> 2.7.0
|
2018-07-10 16:51:27 -05:00 |
radare2-cutter
|
radare2-cutter: use r2 built from rev Cutter pins as submodule
|
2018-07-14 23:25:21 -05:00 |
randoop
|
|
|
retdec
|
retdec-full: mark as broken
|
2018-04-12 23:04:04 +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
|
spin: switch back to dropbox mirror
|
2018-04-07 17:39:54 +02:00 |
splint
|
|
|
swarm
|
|
|
valgrind
|
pkgs/*: remove unreferenced function arguments
|
2018-07-21 02:48:04 +00:00 |
valkyrie
|
valkyrie: add myself (pSub) as maintainer
|
2018-07-17 21:48:15 +02:00 |
verasco
|
|
|