[e-acsl] fixed name of __gmp_com in share/e_acsl_gmp.h (879423fe) · Commits · pub / frama-c

Commit 879423fe authored 13 years ago by Julien Signoles

Browse files

[e-acsl] fixed name of __gmp_com in share/e_acsl_gmp.h

parent 7c0b6590

No related branches found

No related tags found

Expand all Hide whitespace changes

Inline Side-by-side

Showing

src/plugins/e-acsl/TODO 2 additions, 3 deletions

src/plugins/e-acsl/TODO
src/plugins/e-acsl/doc/Changelog 2 additions, 0 deletions

src/plugins/e-acsl/doc/Changelog
src/plugins/e-acsl/share/e-acsl/e_acsl_gmp.h 12 additions, 8 deletions

src/plugins/e-acsl/share/e-acsl/e_acsl_gmp.h
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/addrOf.1.res.oracle 2 additions, 2 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 2 additions, 2 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 272 additions, 268 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 36 additions, 36 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 22 additions, 22 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 12 additions, 12 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 115 additions, 115 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 24 additions, 24 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 62 additions, 62 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 11 additions, 11 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 165 additions, 165 deletions

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

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

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

.../tests/e-acsl-runtime/oracle/function_contract.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith2.c 7 additions, 2 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith2.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_at2.c 7 additions, 2 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_at2.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_function_contract2.c 7 additions, 2 deletions

...acsl/tests/e-acsl-runtime/oracle/gen_function_contract2.c

with 1082 additions and 1058 deletions

Please register or to comment