[Kernel] fix aligned attribute behavior on typedefs

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

[install] allows to use FRAMAC_INSTALLDIR when PREFIX is undefined

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

[analysis-scripts] add type annotations in Python scripts

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

Handle 'malloc(deallocator)' GCC attribute (prevented GCC re-parsing a file produced by Frama-C)

Closes #1140

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

[lint] use Format everywhere; add missing newlines

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

GCC states that the 'aligned' attribute applied to typedefs can lower the
default type alignment (unlike with structs).

[dev] fix typo in Docker makefile

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

Check for frama_c_init_obj attribute in argument of function call.

Closes #1195

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

[install] Changes dev tools management

Closes #1194 and #1196

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

Virgile Prevosto authored 2 years ago and Michele Alberti committed 2 years ago

also make real errors for KO instructions

- Extend checking to more than just left-values.
- Add function in Cil to check only for frama_c_init_obj attribute (as formals
  should not be annotated with frama_c_mutable one).

- installation via the makefile
- opam packages for dependencies

[wp] add float ACSL sign function

Closes #2636

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

[tests] added -w | --wp-cache

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

[Doc] add flame graph section to Eva user manual

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

Removes spurious warnings from make-distrib

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