Merge branch 'feature/andre/libc-asprintf' into 'stable/chromium'
[Libc] add semi-spec and stub for non-POSIX asprintf See merge request frama-c/frama-c!3386
Showing
- share/libc/stdio.c 20 additions, 0 deletionsshare/libc/stdio.c
- share/libc/stdio.h 16 additions, 0 deletionsshare/libc/stdio.h
- src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.h 1 addition, 1 deletion...acsl/share/e-acsl/instrumentation_model/e_acsl_contract.h
- src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.h 1 addition, 1 deletion...share/e-acsl/observation_model/e_acsl_observation_model.h
- src/plugins/e-acsl/tests/arith/oracle/gen_arith.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_arith.c
- src/plugins/e-acsl/tests/arith/oracle/gen_array.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_array.c
- src/plugins/e-acsl/tests/arith/oracle/gen_at.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_at.c
- src/plugins/e-acsl/tests/arith/oracle/gen_at_on-purely-logic-variables.c 1 addition, 0 deletions...csl/tests/arith/oracle/gen_at_on-purely-logic-variables.c
- src/plugins/e-acsl/tests/arith/oracle/gen_bitwise.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_bitwise.c
- src/plugins/e-acsl/tests/arith/oracle/gen_cast.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_cast.c
- src/plugins/e-acsl/tests/arith/oracle/gen_comparison.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_comparison.c
- src/plugins/e-acsl/tests/arith/oracle/gen_extended_quantifiers.c 1 addition, 0 deletions...gins/e-acsl/tests/arith/oracle/gen_extended_quantifiers.c
- src/plugins/e-acsl/tests/arith/oracle/gen_functions.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_functions.c
- src/plugins/e-acsl/tests/arith/oracle/gen_functions_rec.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_functions_rec.c
- src/plugins/e-acsl/tests/arith/oracle/gen_integer_constant.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_integer_constant.c
- src/plugins/e-acsl/tests/arith/oracle/gen_let.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_let.c
- src/plugins/e-acsl/tests/arith/oracle/gen_longlong.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_longlong.c
- src/plugins/e-acsl/tests/arith/oracle/gen_not.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_not.c
- src/plugins/e-acsl/tests/arith/oracle/gen_quantif.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_quantif.c
- src/plugins/e-acsl/tests/arith/oracle/gen_rationals.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_rationals.c
Loading
Please register or sign in to comment