Commits · 5fe84d362e3f62b636322b142daba3bc3583a41d · pub / frama-c · GitLab

Snippets Groups Projects

Sep 25, 2020
- [analysis-scripts] export FRAMAC_BIN from frama-c-script and update scripts · 5fe84d36
  Andre Maroneze authored 4 years ago
  
  Also use argparse for command-line parsing.
  5fe84d36
Jul 30, 2020
- [analysis-scripts] fix summary.py environment definition · 1ed0fa82
  Valentin Perrelle authored 4 years ago
  
  1ed0fa82
- [analysis-scripts] check if the target is a directory before listing sub-targets · d150e86d
  Andre Maroneze authored 4 years ago and Valentin Perrelle committed 4 years ago
  
  d150e86d
- [Analysis-scripts] update summary.py and display-targets to new architecture · 49abb055
  Andre Maroneze authored 4 years ago and Valentin Perrelle committed 4 years ago
  
  49abb055
Jun 02, 2020
- [analysis-scripts] do not use reserved variable name FRAMAC_CONFIG · 9ae39743
  Andre Maroneze authored 4 years ago and David Bühler committed 4 years ago
  
  9ae39743
Mar 06, 2020
- update copyright to 2020 · 325661e6
  Andre Maroneze authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  325661e6
Mar 25, 2019
- [fcscript] Add a script to monitor and summarize multiple analyses · 423b8c8a
  Valentin Perrelle authored 6 years ago
  
  423b8c8a