Merge branch 'feature/andre/distribute-estimate-difficulty' into 'stable/manganese'
Feature/andre/distribute estimate difficulty See merge request frama-c/frama-c!3615
Showing
- .gitignore 9 additions, 0 deletions.gitignore
- .gitlab-ci.yml 1 addition, 1 deletion.gitlab-ci.yml
- Makefile 4 additions, 0 deletionsMakefile
- headers/header_spec.txt 2 additions, 0 deletionsheaders/header_spec.txt
- share/analysis-scripts/build.py 43 additions, 24 deletionsshare/analysis-scripts/build.py
- share/analysis-scripts/build_callgraph.py 3 additions, 2 deletionsshare/analysis-scripts/build_callgraph.py
- share/analysis-scripts/estimate_difficulty.py 194 additions, 80 deletionsshare/analysis-scripts/estimate_difficulty.py
- share/analysis-scripts/external_tool.py 76 additions, 0 deletionsshare/analysis-scripts/external_tool.py
- share/analysis-scripts/fc-estimate-difficulty.mk 142 additions, 0 deletionsshare/analysis-scripts/fc-estimate-difficulty.mk
- share/analysis-scripts/fced-lin.Dockerfile 8 additions, 0 deletionsshare/analysis-scripts/fced-lin.Dockerfile
- share/analysis-scripts/fced-test/a.c 11 additions, 0 deletionsshare/analysis-scripts/fced-test/a.c
- share/analysis-scripts/fced-test/a.h 1 addition, 0 deletionsshare/analysis-scripts/fced-test/a.h
- share/analysis-scripts/fced-win.Dockerfile 21 additions, 0 deletionsshare/analysis-scripts/fced-win.Dockerfile
- share/analysis-scripts/fclog.py 77 additions, 0 deletionsshare/analysis-scripts/fclog.py
- share/analysis-scripts/list_files.py 6 additions, 7 deletionsshare/analysis-scripts/list_files.py
- share/analysis-scripts/make_wrapper.py 14 additions, 10 deletionsshare/analysis-scripts/make_wrapper.py
- share/analysis-scripts/normalize_jcdb.py 0 additions, 1 deletionshare/analysis-scripts/normalize_jcdb.py
- share/analysis-scripts/source_filter.py 11 additions, 60 deletionsshare/analysis-scripts/source_filter.py
- tests/fc_script/estimate_difficulty.i 5 additions, 1 deletiontests/fc_script/estimate_difficulty.i
- tests/fc_script/oracle/estimate_difficulty.res 15 additions, 4 deletionstests/fc_script/oracle/estimate_difficulty.res
Loading
Please register or sign in to comment