Merge branch 'feature/boris/open-source-builtins-alloc' into 'master'
Update w.r.t. trunk changes (changes in stdlib.{c,h} for dynamic allocation)
See merge request !49
No related branches found
No related tags found
Showing
- src/plugins/e-acsl/doc/Changelog 1 addition, 0 deletionssrc/plugins/e-acsl/doc/Changelog
- src/plugins/e-acsl/dup_functions.ml 30 additions, 27 deletionssrc/plugins/e-acsl/dup_functions.ml
- src/plugins/e-acsl/tests/bts/bts1395.i 15 additions, 0 deletionssrc/plugins/e-acsl/tests/bts/bts1395.i
- src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1395.err.oracle 0 additions, 0 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1395.err.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1395.res.oracle 10 additions, 0 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1395.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1399.res.oracle 15 additions, 17 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1399.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1307.c 102 additions, 78 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1307.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1324.c 37 additions, 31 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1324.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1326.c 35 additions, 26 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1326.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1390.c 13 additions, 0 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1390.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1395.c 44 additions, 0 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1395.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1478.c 6 additions, 0 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1478.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/base_addr.res.oracle 9 additions, 9 deletions...s/e-acsl/tests/e-acsl-runtime/oracle/base_addr.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/block_length.res.oracle 9 additions, 9 deletions...-acsl/tests/e-acsl-runtime/oracle/block_length.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/call.res.oracle 9 additions, 9 deletions...lugins/e-acsl/tests/e-acsl-runtime/oracle/call.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/freeable.res.oracle 11 additions, 13 deletions...ns/e-acsl/tests/e-acsl-runtime/oracle/freeable.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_call.c 21 additions, 18 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_call.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_function_contract.c 197 additions, 132 deletions...-acsl/tests/e-acsl-runtime/oracle/gen_function_contract.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_initialized.c 1 addition, 1 deletion...gins/e-acsl/tests/e-acsl-runtime/oracle/gen_initialized.c
Loading
Please register or sign in to comment