src/plugins/e-acsl/translate.ml · dbb4f7a6bf03bc37fd3b23f4a1bcafb1dbc341cf · pub / frama-c

12 years ago

[E-ACSL] support of float in specification. Reals are approximated by float. · dbb4f7a6

Julien Signoles authored 12 years ago

[E-ACSL] fixed bug #1307 (typing crash in presence of reals)
[E-ACSL] fixed bug in the pre-analysis on function call
[E-ACSL] fixed bug with non-integer operators with a GMP operand

dbb4f7a6

History

[E-ACSL] support of float in specification. Reals are approximated by float.

Julien Signoles authored 12 years ago

[E-ACSL] fixed bug #1307 (typing crash in presence of reals)
[E-ACSL] fixed bug in the pre-analysis on function call
[E-ACSL] fixed bug with non-integer operators with a GMP operand