[doc] Fixes the compilation of some examples of the developer manual.

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

Merge the e-acsl repository after adding prefix `src/plugins/e-acsl` to all commits.

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

[server/zmq] use the variable set by configure_pkg

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

Check that the commit doesn't have the old original commit as ancestor

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

The bang is reserved in yaml, we start a sub-shell
to protect the negation

Import e-acsl repository in src/plugin/e-acsl

Better handling of local ghost variables

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

[wp] fix why-3 prover interface (gui & cmdline)

Closes #713 and #121

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

Inclusion de MdR/Sarif dans Frama-Core

Closes #585

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

Virgile Prevosto authored 5 years ago and Allan Blanchard committed 5 years ago

if a non-ghost local shadows a ghost one, the renaming should affect
the ghost.

Virgile Prevosto authored 5 years ago and Allan Blanchard committed 5 years ago

even if one is ghost and the other non-ghost