Merge branch 'jan/eacsl-termid' into 'master'
[e-acsl] fix wrong equality notion used for terms See merge request frama-c/frama-c!4789
Showing
- src/plugins/e-acsl/doc/Changelog 3 additions, 0 deletionssrc/plugins/e-acsl/doc/Changelog
- src/plugins/e-acsl/src/analyses/interval.ml 1 addition, 1 deletionsrc/plugins/e-acsl/src/analyses/interval.ml
- src/plugins/e-acsl/src/analyses/labels.ml 10 additions, 8 deletionssrc/plugins/e-acsl/src/analyses/labels.ml
- src/plugins/e-acsl/src/analyses/labels.mli 1 addition, 1 deletionsrc/plugins/e-acsl/src/analyses/labels.mli
- src/plugins/e-acsl/src/code_generator/translate_ats.ml 3 additions, 3 deletionssrc/plugins/e-acsl/src/code_generator/translate_ats.ml
- src/plugins/e-acsl/src/libraries/analyses_datatype.ml 33 additions, 49 deletionssrc/plugins/e-acsl/src/libraries/analyses_datatype.ml
- src/plugins/e-acsl/src/libraries/analyses_datatype.mli 5 additions, 1 deletionsrc/plugins/e-acsl/src/libraries/analyses_datatype.mli
- src/plugins/e-acsl/src/libraries/misc.ml 3 additions, 2 deletionssrc/plugins/e-acsl/src/libraries/misc.ml
- src/plugins/e-acsl/src/libraries/misc.mli 4 additions, 1 deletionsrc/plugins/e-acsl/src/libraries/misc.mli
- src/plugins/e-acsl/tests/arith/functions.c 13 additions, 0 deletionssrc/plugins/e-acsl/tests/arith/functions.c
- src/plugins/e-acsl/tests/arith/oracle/at.res.oracle 6 additions, 0 deletionssrc/plugins/e-acsl/tests/arith/oracle/at.res.oracle
- src/plugins/e-acsl/tests/arith/oracle/functions.res.oracle 4 additions, 0 deletionssrc/plugins/e-acsl/tests/arith/oracle/functions.res.oracle
- src/plugins/e-acsl/tests/arith/oracle/gen_at.c 130 additions, 85 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_at.c
- src/plugins/e-acsl/tests/arith/oracle/gen_at_on-purely-logic-variables.c 97 additions, 97 deletions...csl/tests/arith/oracle/gen_at_on-purely-logic-variables.c
- src/plugins/e-acsl/tests/arith/oracle/gen_functions.c 122 additions, 0 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_functions.c
- src/plugins/e-acsl/tests/arith/oracle/gen_rationals.c 11 additions, 11 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_rationals.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1307.c 44 additions, 37 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1307.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1326.c 42 additions, 34 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1326.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1390.c 11 additions, 11 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1390.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts2252.c 13 additions, 8 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts2252.c
Loading
Please register or sign in to comment