[analysis-scripts] remove make-template and update documentation
Showing
- Makefile 0 additions, 2 deletionsMakefile
- bin/frama-c-script 0 additions, 8 deletionsbin/frama-c-script
- doc/userman/analysis-scripts.graphml 34 additions, 19 deletionsdoc/userman/analysis-scripts.graphml
- doc/userman/analysis-scripts.pdf 0 additions, 0 deletionsdoc/userman/analysis-scripts.pdf
- doc/userman/user-analysis-scripts.tex 13 additions, 11 deletionsdoc/userman/user-analysis-scripts.tex
- headers/header_spec.txt 0 additions, 1 deletionheaders/header_spec.txt
- tests/fc_script/main.c 1 addition, 2 deletionstests/fc_script/main.c
- tests/fc_script/make_template.input 0 additions, 10 deletionstests/fc_script/make_template.input
- tests/fc_script/oracle/heuristic_list_functions.res 1 addition, 1 deletiontests/fc_script/oracle/heuristic_list_functions.res
- tests/fc_script/oracle/make_template.err 0 additions, 0 deletionstests/fc_script/oracle/make_template.err
- tests/fc_script/oracle/make_template.res 0 additions, 16 deletionstests/fc_script/oracle/make_template.res
Loading
Please register or sign in to comment