Merge branch 'feature/andre/choc-simplification-analysis-scripts' into 'master'
use new Makefile structure See merge request pub/open-source-case-studies!2
No related branches found
No related tags found
Showing
- .gitignore 0 additions, 4 deletions.gitignore
- 2048/.frama-c/2048.eva/alarms.csv 0 additions, 0 deletions2048/.frama-c/2048.eva/alarms.csv
- 2048/.frama-c/2048.eva/metrics.log 0 additions, 0 deletions2048/.frama-c/2048.eva/metrics.log
- 2048/.frama-c/2048.eva/nonterm.log 0 additions, 0 deletions2048/.frama-c/2048.eva/nonterm.log
- 2048/.frama-c/2048.eva/warnings.log 0 additions, 0 deletions2048/.frama-c/2048.eva/warnings.log
- 2048/.frama-c/2048.parse/framac.ast 0 additions, 0 deletions2048/.frama-c/2048.parse/framac.ast
- 2048/.frama-c/2048.parse/metrics.log 0 additions, 0 deletions2048/.frama-c/2048.parse/metrics.log
- 2048/.frama-c/2048.parse/warnings.log 0 additions, 0 deletions2048/.frama-c/2048.parse/warnings.log
- 2048/.frama-c/GNUmakefile 44 additions, 0 deletions2048/.frama-c/GNUmakefile
- 2048/.frama-c/path.mk 1 addition, 0 deletions2048/.frama-c/path.mk
- 2048/GNUmakefile 0 additions, 66 deletions2048/GNUmakefile
- 2048/frama-c-path.mk 0 additions, 1 deletion2048/frama-c-path.mk
- Makefile 8 additions, 5 deletionsMakefile
- basic-cwe-examples/.frama-c/GNUmakefile 58 additions, 0 deletionsbasic-cwe-examples/.frama-c/GNUmakefile
- basic-cwe-examples/.frama-c/cwe119-precise.eva/alarms.csv 0 additions, 0 deletionsbasic-cwe-examples/.frama-c/cwe119-precise.eva/alarms.csv
- basic-cwe-examples/.frama-c/cwe119-precise.eva/metrics.log 0 additions, 0 deletionsbasic-cwe-examples/.frama-c/cwe119-precise.eva/metrics.log
- basic-cwe-examples/.frama-c/cwe119-precise.eva/nonterm.log 0 additions, 0 deletionsbasic-cwe-examples/.frama-c/cwe119-precise.eva/nonterm.log
- basic-cwe-examples/.frama-c/cwe119-precise.eva/warnings.log 0 additions, 0 deletionsbasic-cwe-examples/.frama-c/cwe119-precise.eva/warnings.log
- basic-cwe-examples/.frama-c/cwe119-precise.parse/framac.ast 0 additions, 0 deletionsbasic-cwe-examples/.frama-c/cwe119-precise.parse/framac.ast
- basic-cwe-examples/.frama-c/cwe119-precise.parse/metrics.log 0 additions, 0 deletionsbasic-cwe-examples/.frama-c/cwe119-precise.parse/metrics.log
Loading
Please register or sign in to comment