.. |
autoflake
|
|
|
brakeman
|
brakeman: 4.4.0 -> 4.5.0
|
2019-03-16 12:20:30 -05:00 |
cccc
|
|
|
checkstyle
|
checkstyle: 8.17 -> 8.18
|
2019-03-01 19:24:22 +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
|
cppcheck: 1.86 -> 1.87
|
2019-03-01 16:45:06 -08:00 |
cpplint
|
cpplint: init at 1.3.0
|
2018-10-12 18:51:43 +00:00 |
egypt
|
Replace platforms.linux with platforms.darwin for expressions that compile on darwin too (too restrictive platforms)
|
2019-02-18 10:56:58 +01:00 |
emma
|
|
|
eresi
|
|
|
findbugs
|
|
|
flow
|
flow: 0.94.0 -> 0.95.1
|
2019-03-16 12:21:57 -05:00 |
frama-c
|
frama-c: Chlorine -> Argon
|
2018-12-09 19:50:38 +00:00 |
garcosim
|
|
|
hopper
|
hopper: init at 4.5.7
|
2019-03-12 06:48:39 -07:00 |
hotspot
|
|
|
ikos
|
ikos: init at 2.1
|
2018-12-12 00:09:24 +00:00 |
include-what-you-use
|
include-what-you-use: 0.8 -> 0.10
|
2018-09-27 16:44:49 +02:00 |
jdepend
|
treewide: use runtimeShell instead of stdenv.shell whenever possible
|
2019-02-26 14:10:49 +00:00 |
kcov
|
kcov: 35 -> 36
|
2018-08-30 01:07:45 +09:00 |
lcov
|
lcov: 1.13 -> 1.14
|
2019-03-17 11:04:02 +01:00 |
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.10.0 -> 6.11.0 (#55215)
|
2019-02-24 01:10:35 +01:00 |
qcachegrind
|
|
|
radare2
|
radare2-cutter: 1.7.2 -> 1.8.0
|
2019-03-21 06:52:31 +00:00 |
randoop
|
|
|
retdec
|
retdec: remove pycache from install dir
|
2019-01-12 16:48:40 +01: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
|
spin: use dropbox "mirror" again to avoid problems
|
2019-01-19 21:35:05 -06:00 |
splint
|
splint: update homepage
|
2018-09-02 20:55:47 +02:00 |
swarm
|
|
|
valgrind
|
treewide: remove paxutils from stdenv
|
2018-12-22 12:55:05 +01:00 |
valkyrie
|
|
|