Merge branch 'master' into feature/ivette/electron
# Conflicts: # ivette/headers/register.sh
Showing
- INSTALL.md 21 additions, 12 deletionsINSTALL.md
- bin/git.sh 87 additions, 0 deletionsbin/git.sh
- doc/release/branch.tex 6 additions, 6 deletionsdoc/release/branch.tex
- doc/release/build.tex 32 additions, 6 deletionsdoc/release/build.tex
- doc/release/website.tex 3 additions, 16 deletionsdoc/release/website.tex
- ivette/src/frama-c/api/generated/plugins/eva/values/index.ts 3 additions, 3 deletionsivette/src/frama-c/api/generated/plugins/eva/values/index.ts
- ivette/src/frama-c/plugins/eva/cells.ts 1 addition, 1 deletionivette/src/frama-c/plugins/eva/cells.ts
- nix/default.nix 1 addition, 0 deletionsnix/default.nix
- share/analysis-scripts/make_wrapper.py 33 additions, 33 deletionsshare/analysis-scripts/make_wrapper.py
- src/libraries/datatype/datatype.ml 6 additions, 6 deletionssrc/libraries/datatype/datatype.ml
- src/libraries/datatype/structural_descr.ml 7 additions, 2 deletionssrc/libraries/datatype/structural_descr.ml
- src/plugins/aorai/tests/test_config 0 additions, 3 deletionssrc/plugins/aorai/tests/test_config
- src/plugins/aorai/tests/test_config_prove.in 0 additions, 3 deletionssrc/plugins/aorai/tests/test_config_prove.in
- src/plugins/metrics/metrics_coverage.ml 7 additions, 1 deletionsrc/plugins/metrics/metrics_coverage.ml
- src/plugins/value/api/values_request.ml 26 additions, 25 deletionssrc/plugins/value/api/values_request.ml
- src/plugins/value/engine/recursion.ml 4 additions, 1 deletionsrc/plugins/value/engine/recursion.ml
- src/plugins/wp/Changelog 5 additions, 0 deletionssrc/plugins/wp/Changelog
- tests/fc_script/oracle/make-wrapper.res 4 additions, 4 deletionstests/fc_script/oracle/make-wrapper.res
- tests/metrics/oracle/referenced-by-acsl.res.oracle 67 additions, 0 deletionstests/metrics/oracle/referenced-by-acsl.res.oracle
- tests/metrics/referenced-by-acsl.c 8 additions, 0 deletionstests/metrics/referenced-by-acsl.c
Loading
Please register or sign in to comment