Vincent Laporte 65b1613456 frama-c: 20161101 (Silicon) -> 20170501 (Phosphorus)

2017-07-18 20:30:53 +02:00

..

cccc

…

checkstyle

…

clang-analyzer

…

coan

…

cov-build

…

cppcheck

cppcheck: 1.78 -> 1.79

2017-05-28 17:18:11 +02:00

egypt

…

emma

…

findbugs

…

flow

flow: 0.48.0 -> 0.49.1

2017-07-04 17:43:40 +02:00

frama-c

frama-c: 20161101 (Silicon) -> 20170501 (Phosphorus)

2017-07-18 20:30:53 +02:00

garcosim

…

hotspot

hotspot: init at 1.0.0

2017-07-09 22:30:41 +02:00

include-what-you-use

…

jdepend

jdepend: 2.9.0 -> 2.9.1, fix build

2017-03-20 21:29:47 +01:00

kcov

kcov: 29 -> 32

2017-01-01 03:32:31 +01:00

lcov

lcov: 1.12 -> 1.13

2017-04-09 21:48:25 +03:00

massif-visualizer

kde4.kdelibs -> kdelibs4

2017-02-24 17:16:28 -06:00

pmd

…

qcachegrind

qt5: remove makeQtWrapper

2017-06-18 08:44:42 -05:00

radare

…

radare2

radare2: 1.3.0 -> 1.4.0

2017-04-19 12:23:45 +02:00

randoop

randoop: init at 3.1.5

2017-06-04 17:19:23 +02:00

rr

rr: 4.4.0 -> 4.5.0

2017-02-05 22:00:42 +01:00

smatch

…

sparse

…

spin

spin: 6.4.5 -> 6.4.6

2017-07-01 10:16:14 +02:00

splint

…

swarm

…

valgrind

valgrind: enable darwin build

2017-03-11 20:29:52 +01:00

valkyrie

…

verasco

…