Florent Becker 9d57f1ae9a frama-c: fix compilation with ocaml 4.02+

2017-02-19 13:05:47 +01:00

..

cccc

Merge branch 'master' into staging

2016-08-24 11:57:44 +01:00

checkstyle

checkstyle: 6.18 -> 6.19

2016-11-19 21:11:54 +01:00

clang-analyzer

use dontBuild instead of hacks

2016-05-04 10:11:04 +00:00

coan

use the sourceforge mirrors everywhere

2016-02-28 12:07:42 +00:00

cov-build

…

cppcheck

cppcheck: 1.74 -> 1.76.1

2016-10-21 16:56:40 +03:00

egypt

foswiki, egypt, wml: fix build

2016-04-25 16:22:52 +02:00

emma

treewide: Add lots of meta.platforms

2016-08-02 21:42:43 +03:00

findbugs

treewide: Add lots of meta.platforms

2016-08-02 21:42:43 +03:00

flow

flow: pin ocaml to ocaml_4_02

2017-02-12 20:52:37 -05:00

frama-c

frama-c: fix compilation with ocaml 4.02+

2017-02-19 13:05:47 +01:00

garcosim

tracefilesim: disable fortify hardening

2016-08-02 20:21:29 +02:00

include-what-you-use

include-what-you-use: 0.5 -> 0.6

2016-05-16 20:27:31 +02:00

jdepend

…

kcov

kcov: 29 -> 32

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

lcov

lcov: 1.10 -> 1.12; maintain

2016-07-08 03:27:07 +03:00

massif-visualizer

…

pmd

treewide: Add lots of meta.platforms

2016-08-02 21:42:43 +03:00

radare

treewide: explicitly specify gtk version

2016-09-13 21:09:24 +03:00

radare2

radare2: 0.9.7 -> 0.10.6

2016-10-02 17:19:19 +02:00

rr

rr: 4.4.0 -> 4.5.0

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

smatch

treewide: Add lots of meta.platforms

2016-08-02 21:42:43 +03:00

sparse

…

spin

spin: add ispin with tools

2016-03-26 17:05:29 +03:00

splint

…

swarm

treewide: quote URLs in my packages

2016-11-24 01:17:52 +03:00

valgrind

valgrind: 3.11.0 -> 3.12.0

2016-10-25 17:22:00 +03:00

valkyrie

valkyrie: move to qmake4Hook

2016-04-20 18:55:54 +03:00

verasco

treewide: move to ocaml-ng system

2016-09-26 02:36:49 +03:00