To be able to load Cabs_debug in ocamldebug, we need to avoid depending on
external c functions.

This reverts commit e9c60779

[E-ACSL] Update E-ACSL asserts to emit standard error messages

Closes e-acsl#97

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

Basile Desloges authored 5 years ago and Julien Signoles committed 5 years ago

A `file` parameter is added before `line`, and the `char *` parameters
have been converted to `const char *`.

Small updates to the plugin developer guide

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

Feature/andre/copyright 2020

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

const-fold floating point

Closes #579

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

otherwise, we might end up with an improper crash of cabs2cil

Actually we can't completely avoid typing the branch that won't be evaluated:
we need its type in order to convert the value of the other branch if needed.

apart from overflowing float-to-int conversions, they're not really useful

also minor refactoring of smart constructor for float constants

More or less needed if you want to use dynamically loaded plug-ins, for which
dependency tracking becomes more complicated.

[Headers] cleanning header spec file

Closes #816

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

This reverts commit 7dc7e69e.

[headers] cleaning header spec file

Closes #816

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

[ACSL] replace (T[size])(ptr) by *((T(*)[size])(ptr))

Closes #780

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