Merge branch 'feature/e-acsl/extended-quantifier-product-numof' into 'master'
[E-ACSL] Support of \product and \numof See merge request frama-c/frama-c!3303
No related branches found
No related tags found
Showing
- src/libraries/stdlib/extlib.ml 4 additions, 0 deletionssrc/libraries/stdlib/extlib.ml
- src/libraries/stdlib/extlib.mli 5 additions, 0 deletionssrc/libraries/stdlib/extlib.mli
- src/plugins/e-acsl/doc/Changelog 3 additions, 2 deletionssrc/plugins/e-acsl/doc/Changelog
- src/plugins/e-acsl/doc/refman/changes_modern.tex 24 additions, 18 deletionssrc/plugins/e-acsl/doc/refman/changes_modern.tex
- src/plugins/e-acsl/doc/refman/higherorder.tex 4 additions, 4 deletionssrc/plugins/e-acsl/doc/refman/higherorder.tex
- src/plugins/e-acsl/doc/refman/intro_modern.tex 2 additions, 1 deletionsrc/plugins/e-acsl/doc/refman/intro_modern.tex
- src/plugins/e-acsl/doc/refman/speclang_modern.tex 4 additions, 1 deletionsrc/plugins/e-acsl/doc/refman/speclang_modern.tex
- src/plugins/e-acsl/src/analyses/interval.ml 160 additions, 60 deletionssrc/plugins/e-acsl/src/analyses/interval.ml
- src/plugins/e-acsl/src/analyses/interval.mli 1 addition, 1 deletionsrc/plugins/e-acsl/src/analyses/interval.mli
- src/plugins/e-acsl/src/analyses/typing.ml 3 additions, 4 deletionssrc/plugins/e-acsl/src/analyses/typing.ml
- src/plugins/e-acsl/src/code_generator/translate.ml 128 additions, 105 deletionssrc/plugins/e-acsl/src/code_generator/translate.ml
- src/plugins/e-acsl/tests/arith/extended_quantifiers.c 33 additions, 0 deletionssrc/plugins/e-acsl/tests/arith/extended_quantifiers.c
- src/plugins/e-acsl/tests/arith/oracle/extended_quantifiers.res.oracle 97 additions, 0 deletions...e-acsl/tests/arith/oracle/extended_quantifiers.res.oracle
- src/plugins/e-acsl/tests/arith/oracle/gen_extended_quantifiers.c 571 additions, 0 deletions...gins/e-acsl/tests/arith/oracle/gen_extended_quantifiers.c
- src/plugins/e-acsl/tests/arith/oracle/gen_sum.c 0 additions, 205 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_sum.c
- src/plugins/e-acsl/tests/arith/oracle/sum.res.oracle 0 additions, 16 deletionssrc/plugins/e-acsl/tests/arith/oracle/sum.res.oracle
- src/plugins/e-acsl/tests/arith/oracle_dev/extended_quantifiers.e-acsl.err.log 0 additions, 0 deletions...ests/arith/oracle_dev/extended_quantifiers.e-acsl.err.log
- src/plugins/e-acsl/tests/arith/sum.i 0 additions, 22 deletionssrc/plugins/e-acsl/tests/arith/sum.i
- src/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c 2 additions, 2 deletionssrc/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c
- src/plugins/e-acsl/tests/builtin/oracle/gen_strlen.c 6 additions, 6 deletionssrc/plugins/e-acsl/tests/builtin/oracle/gen_strlen.c
Loading
Please register or sign in to comment