[e-acsl] better specs for gmp functions (cce7ffe8) · Commits · pub / frama-c

Commit cce7ffe8 authored 12 years ago by Julien Signoles

Browse files

[e-acsl] better specs for gmp functions

parent 3bb699eb

No related branches found

No related tags found

No related merge requests found

Expand all Hide whitespace changes

Inline Side-by-side

Showing

src/plugins/e-acsl/share/e-acsl/e_acsl.h 2 additions, 1 deletion

src/plugins/e-acsl/share/e-acsl/e_acsl.h
src/plugins/e-acsl/share/e-acsl/e_acsl_gmp.h 28 additions, 16 deletions

src/plugins/e-acsl/share/e-acsl/e_acsl_gmp.h
src/plugins/e-acsl/share/e-acsl/e_acsl_gmp_types.h 2 additions, 4 deletions

src/plugins/e-acsl/share/e-acsl/e_acsl_gmp_types.h
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/addrOf.1.res.oracle 62 additions, 19 deletions

...ns/e-acsl/tests/e-acsl-runtime/oracle/addrOf.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/addrOf.res.oracle 62 additions, 19 deletions

...gins/e-acsl/tests/e-acsl-runtime/oracle/addrOf.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/arith.1.res.oracle 361 additions, 330 deletions

...ins/e-acsl/tests/e-acsl-runtime/oracle/arith.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/arith.res.oracle 104 additions, 61 deletions

...ugins/e-acsl/tests/e-acsl-runtime/oracle/arith.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/array.1.res.oracle 79 additions, 39 deletions

...ins/e-acsl/tests/e-acsl-runtime/oracle/array.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/array.res.oracle 67 additions, 24 deletions

...ugins/e-acsl/tests/e-acsl-runtime/oracle/array.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/at.1.res.oracle 158 additions, 123 deletions

...lugins/e-acsl/tests/e-acsl-runtime/oracle/at.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/at.res.oracle 91 additions, 48 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/at.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/cast.1.res.oracle 111 additions, 74 deletions

...gins/e-acsl/tests/e-acsl-runtime/oracle/cast.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/cast.res.oracle 72 additions, 29 deletions

...lugins/e-acsl/tests/e-acsl-runtime/oracle/cast.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/comparison.1.res.oracle 196 additions, 158 deletions

...-acsl/tests/e-acsl-runtime/oracle/comparison.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/comparison.res.oracle 97 additions, 54 deletions

.../e-acsl/tests/e-acsl-runtime/oracle/comparison.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.1.res.oracle 59 additions, 16 deletions

...ins/e-acsl/tests/e-acsl-runtime/oracle/empty.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/false.1.res.oracle 59 additions, 16 deletions

...ins/e-acsl/tests/e-acsl-runtime/oracle/false.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/false.res.oracle 59 additions, 16 deletions

...ugins/e-acsl/tests/e-acsl-runtime/oracle/false.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/function_contract.1.res.oracle 262 additions, 224 deletions

...ests/e-acsl-runtime/oracle/function_contract.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/function_contract.res.oracle 106 additions, 63 deletions

.../tests/e-acsl-runtime/oracle/function_contract.res.oracle

with 2037 additions and 1334 deletions

Please register or to comment