[Doc] add more Landmarks examples in devman

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

[kernel] Cil builder: insert a cast in assign instructions when needed.

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

David Bühler authored 3 years ago and Valentin Perrelle committed 3 years ago

When the right expression and the lvalue have different types, inserts a cast.

[Eva] Adds .merlin file in Eva to solve file conflicts between plugins.

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

[devel-tools] Add an helper to invoke frama-c within valgrind/callgrind

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

Remove obsolete entries from .gitignore

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

[eacsl] Replace `Result.t` with `Error.result`

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

The stdlib of Ocaml already defines a `Result` module. The `Result`
module of E-ACSL was masking this module and would cause problems in
some cases.

The result type has been moved to `Error.result` and is now implemented
with the `Result` module of Ocaml.

[WP] fixes cint simplifier

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

[ptests] fixes the use of str mutex

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

[Libc] add stdnoreturn.h and add/improve some specs

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

[Obfuscate] avoid crash when modifying global lemmas

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

Removed AST nodes Info and IndexPI

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

[eacsl] Refactor of Error module

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

[Eva] Always emits undeterminate alarms on arguments of functions without body.

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

David Bühler authored 3 years ago and Andre Maroneze committed 3 years ago

Always emits initiatialized/escaping alarms on arguments of call to functions
whose body is not analyzed, as we cannot be sure these arguments will only be
used for copies and not in computations.

Instructs merlin to first look in Eva directories.

[Eva] Uses the dynamic API for optional dependencies to other Frama-C plugins.

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