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.

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

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

[logic] provide text of error in callback from on_error in typing context

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

[Gui] change cursor to avoid issues under WSLg

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

[ivette] Update to electron 16

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

[wp/doc] supported decreases/generalized measures

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

Warns at the start of an analysis when the inout plugin is missing.