src/plugins/e-acsl/doc/Changelog · 5f5a05f5771d958fbccbb2c5985b6217dbb29ca7 · pub / frama-c · GitLab

Snippets Groups Projects

12 years ago

[E-ACSL] fixed bug #1326 (may occur when GMP is generated in non-GMP mode) · 5f5a05f5

Julien Signoles authored 12 years ago

[E-ACSL] fixed bug when translating left-values with complex types (related to bug #1326)
[E-ACSL] fixed issue #1329: the 'requires' clause is now interpreted even if an other part of the precondition cannot be evaluated.

5f5a05f5

[E-ACSL] fixed bug #1326 (may occur when GMP is generated in non-GMP mode)

Julien Signoles authored 12 years ago

[E-ACSL] fixed bug when translating left-values with complex types (related to bug #1326)
[E-ACSL] fixed issue #1329: the 'requires' clause is now interpreted even if an other part of the precondition cannot be evaluated.

To find the state of this project's repository at the time of any of these versions, check out the tags.