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