Showing
- testing/vendor_ztesting.c 5 additions, 6 deletionstesting/vendor_ztesting.c
- tools/analysis.sh 15 additions, 9 deletionstools/analysis.sh
- tools/bench/chameleon_guix.sh 4 additions, 4 deletionstools/bench/chameleon_guix.sh
- tools/bench/guix-channels.scm 10 additions, 10 deletionstools/bench/guix-channels.scm
- tools/bench/jube/GenFigures.R 5 additions, 5 deletionstools/bench/jube/GenFigures.R
- tools/bench/jube/add_result.py 13 additions, 11 deletionstools/bench/jube/add_result.py
- tools/bench/jube/get_result.py 6 additions, 7 deletionstools/bench/jube/get_result.py
- tools/bench/plafrim/run.sh 3 additions, 3 deletionstools/bench/plafrim/run.sh
- tools/bench/plafrim/slurm.sh 3 additions, 3 deletionstools/bench/plafrim/slurm.sh
- tools/build_macosx.sh 3 additions, 3 deletionstools/build_macosx.sh
- tools/check_header.sh 3 additions, 2 deletionstools/check_header.sh
- tools/coverage.sh 3 additions, 3 deletionstools/coverage.sh
- tools/coverity.sh 30 additions, 0 deletionstools/coverity.sh
- tools/find_sources.sh 4 additions, 4 deletionstools/find_sources.sh
- tools/fix_doxygen_date.sh 3 additions, 3 deletionstools/fix_doxygen_date.sh
- tools/homebrew/starpu.rb 4 additions, 4 deletionstools/homebrew/starpu.rb
- tools/pages.sh 17 additions, 14 deletionstools/pages.sh
- tools/release.sh 3 additions, 3 deletionstools/release.sh
tools/coverity.sh
0 → 100755