Merge branch 'feature/andre/choc-simplification-analysis-scripts' into 'master'
[analysis-scripts] Revamp analysis Makefile and scripts See merge request frama-c/frama-c!2682
No related branches found
No related tags found
Showing
- Makefile 10 additions, 7 deletionsMakefile
- bin/frama-c-script 38 additions, 23 deletionsbin/frama-c-script
- headers/header_spec.txt 4 additions, 6 deletionsheaders/header_spec.txt
- share/analysis-scripts/.gitignore 1 addition, 0 deletionsshare/analysis-scripts/.gitignore
- share/analysis-scripts/README.md 3 additions, 205 deletionsshare/analysis-scripts/README.md
- share/analysis-scripts/analysis.mk 12 additions, 18 deletionsshare/analysis-scripts/analysis.mk
- share/analysis-scripts/epilogue.mk 40 additions, 0 deletionsshare/analysis-scripts/epilogue.mk
- share/analysis-scripts/examples/Makefile 0 additions, 18 deletionsshare/analysis-scripts/examples/Makefile
- share/analysis-scripts/examples/example-multi.mk 0 additions, 23 deletionsshare/analysis-scripts/examples/example-multi.mk
- share/analysis-scripts/examples/example-slevel.mk 0 additions, 37 deletionsshare/analysis-scripts/examples/example-slevel.mk
- share/analysis-scripts/examples/example.c 0 additions, 25 deletionsshare/analysis-scripts/examples/example.c
- share/analysis-scripts/examples/example.mk 0 additions, 26 deletionsshare/analysis-scripts/examples/example.mk
- share/analysis-scripts/find_fun.py 6 additions, 25 deletionsshare/analysis-scripts/find_fun.py
- share/analysis-scripts/function_finder.py 59 additions, 0 deletionsshare/analysis-scripts/function_finder.py
- share/analysis-scripts/make_template.py 121 additions, 51 deletionsshare/analysis-scripts/make_template.py
- share/analysis-scripts/prologue.mk 43 additions, 0 deletionsshare/analysis-scripts/prologue.mk
- share/analysis-scripts/summary.py 32 additions, 20 deletionsshare/analysis-scripts/summary.py
- share/analysis-scripts/summary.sh 0 additions, 155 deletionsshare/analysis-scripts/summary.sh
- share/analysis-scripts/template.mk 29 additions, 56 deletionsshare/analysis-scripts/template.mk
- tests/fc_script/main.c 1 addition, 1 deletiontests/fc_script/main.c
Loading
Please register or sign in to comment