Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

F

frama-c
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Incidents

Snippets Groups Projects

822b344a

Commit 822b344a authored 5 years ago by Andre Maroneze

Downloads
- Plain Diff

Merge branch 'feature/eva/quantifiers' into 'master'

[Eva] Supports quantifier introducing mathematical variables

See merge request frama-c/frama-c!2521

parents a2b2cc28 3ed8a078

No related branches found

No related tags found

Loading

Changes 8

Expand all Hide whitespace changes

Inline Side-by-side

Showing

src/plugins/e-acsl/tests/arith/oracle_ci/at_on-purely-logic-variables.res.oracle 0 additions, 2 deletions

...s/arith/oracle_ci/at_on-purely-logic-variables.res.oracle
src/plugins/e-acsl/tests/arith/oracle_ci/quantif.res.oracle 0 additions, 7 deletions

src/plugins/e-acsl/tests/arith/oracle_ci/quantif.res.oracle
src/plugins/e-acsl/tests/examples/oracle_ci/linear_search.res.oracle 2 additions, 2 deletions

.../e-acsl/tests/examples/oracle_ci/linear_search.res.oracle
src/plugins/value/legacy/eval_op.ml 9 additions, 5 deletions

src/plugins/value/legacy/eval_op.ml
src/plugins/value/legacy/eval_op.mli 1 addition, 1 deletion

src/plugins/value/legacy/eval_op.mli
src/plugins/value/legacy/eval_terms.ml 229 additions, 155 deletions

src/plugins/value/legacy/eval_terms.ml
tests/libc/oracle/string_c.res.oracle 5 additions, 2 deletions

tests/libc/oracle/string_c.res.oracle
tests/value/oracle/forall.res.oracle 1 addition, 1 deletion

tests/value/oracle/forall.res.oracle

with 247 additions and 175 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment