Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[#!] #!/bin/sh -> #!/usr/bin/env sh
[simgrid.git] / tools / jenkins / Sanitizers.sh
2018-02-01 Millian Poquet[#!] #!/bin/sh -> #!/usr/bin/env sh
2017-11-27 Tom CornebizeMerge branch 'master' into fix/execute_benched
2017-09-10 Martin QuinsonMerge pull request #218 from Takishipp/MSG2S4U
2017-09-01 Augustin Degommeadd --no-compress-output flag to dynamic analysis flags...
2017-07-06 Martin Quinsoncodacy
2017-05-29 TakishippMerge branches 'master' and 'master' of github.com...
2017-05-23 degommeremove spurious non breaking spaces, grrr
2017-02-27 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-02-27 degommeCleanup Sanitizer jenkins script to allow separate...
2016-12-19 Augustin Degommedisable mc for sanitizers to have a cleaner output
2016-11-30 Millian PoquetMerge branch 'master' of https://github.com/mpoquet...
2016-06-28 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-06-26 Martin Quinsontry to get the sanitizer display the stacktrace of...
2016-06-26 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-06-25 degommeRevert "disable temporarily mc for sanitizers"
2016-06-25 degommedisable temporarily mc for sanitizers
2016-06-24 degommeOops
2016-06-24 degommedisable fortran for sanitizer
2016-06-24 degommeAdd sanitizers (address, thread, and undefined), to...