[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

This only happened on "3-fields-by-line" mode.

Most plugins do not have a 'headers' directory.
Avoids warnings from frama-c-hdrck when giving such non-existing directories
to the -header-dirs option.

[Kernel] fix size_t in ppc32 machdep

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

[opam] relax constraint on yojson

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

[Makefile] Makes the default-tests target less verbose.

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

Fixes the distribution of multiple external plugins.

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