-
- Downloads
Merge branch 'thibaut/bugfix/rte-in-register' into 'stable/manganese'
[e-acsl] Bugfix: register data in the presence of RTE See merge request frama-c/frama-c!3668
No related branches found
No related tags found
Showing
- src/plugins/e-acsl/src/code_generator/assert.ml 32 additions, 12 deletionssrc/plugins/e-acsl/src/code_generator/assert.ml
- src/plugins/e-acsl/src/code_generator/assert.mli 12 additions, 6 deletionssrc/plugins/e-acsl/src/code_generator/assert.mli
- src/plugins/e-acsl/src/code_generator/contract.ml 1 addition, 2 deletionssrc/plugins/e-acsl/src/code_generator/contract.ml
- src/plugins/e-acsl/src/code_generator/libc.ml 4 additions, 4 deletionssrc/plugins/e-acsl/src/code_generator/libc.ml
- src/plugins/e-acsl/src/code_generator/logic_array.ml 2 additions, 6 deletionssrc/plugins/e-acsl/src/code_generator/logic_array.ml
- src/plugins/e-acsl/src/code_generator/loops.ml 5 additions, 8 deletionssrc/plugins/e-acsl/src/code_generator/loops.ml
- src/plugins/e-acsl/src/code_generator/memory_translate.ml 1 addition, 2 deletionssrc/plugins/e-acsl/src/code_generator/memory_translate.ml
- src/plugins/e-acsl/src/code_generator/translate_ats.ml 1 addition, 1 deletionsrc/plugins/e-acsl/src/code_generator/translate_ats.ml
- src/plugins/e-acsl/src/code_generator/translate_predicates.ml 8 additions, 6 deletions...plugins/e-acsl/src/code_generator/translate_predicates.ml
- src/plugins/e-acsl/src/code_generator/translate_rtes.ml 3 additions, 1 deletionsrc/plugins/e-acsl/src/code_generator/translate_rtes.ml
- src/plugins/e-acsl/src/code_generator/translate_terms.ml 13 additions, 13 deletionssrc/plugins/e-acsl/src/code_generator/translate_terms.ml
- src/plugins/e-acsl/tests/arith/oracle/arith.res.oracle 3 additions, 6 deletionssrc/plugins/e-acsl/tests/arith/oracle/arith.res.oracle
- src/plugins/e-acsl/tests/arith/oracle/array.res.oracle 16 additions, 16 deletionssrc/plugins/e-acsl/tests/arith/oracle/array.res.oracle
- src/plugins/e-acsl/tests/arith/oracle/at_on-purely-logic-variables.res.oracle 3 additions, 5 deletions...ests/arith/oracle/at_on-purely-logic-variables.res.oracle
- src/plugins/e-acsl/tests/arith/oracle/bitwise.res.oracle 12 additions, 12 deletionssrc/plugins/e-acsl/tests/arith/oracle/bitwise.res.oracle
- src/plugins/e-acsl/tests/arith/oracle/gen_arith.c 3 additions, 3 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_arith.c
- src/plugins/e-acsl/tests/arith/oracle/gen_array.c 132 additions, 132 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_array.c
- src/plugins/e-acsl/tests/arith/oracle/gen_at.c 14 additions, 14 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_at.c
- src/plugins/e-acsl/tests/arith/oracle/gen_at_on-purely-logic-variables.c 93 additions, 93 deletions...csl/tests/arith/oracle/gen_at_on-purely-logic-variables.c
- src/plugins/e-acsl/tests/arith/oracle/gen_bitwise.c 16 additions, 16 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_bitwise.c
Loading
Please register or sign in to comment