[ivette] Update Values to marker API changes, and make Eva Values table to filter out not related localizables.

David Bühler authored 4 years ago and Michele Alberti committed 4 years ago

Makes marker kinds a direct reflection of the ocaml type; removes the 'variable'
and 'function' kinds.
Adds a new column to the synchronized array of markers that indicates if a
marker is a variable, a function, or something else.

[eacsl] Update tests

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

[eacsl] Fix order of generated globals

Closes e-acsl#124

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

[eacsl:tests] Allow the use of `PTESTS_OPTS` to change the test configuration

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

Ptests enhancement: new directive NOFRAMAC and fix configuration scanning

Closes #848 and #916

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

[dome] fixed synchronized array API

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

- The makefile updates `PTESTS_OPTS` instead of `PLUGIN_PTESTS_OPTS` so
  that modifications of `PTESTS_OPTS` by the user are taken into
  account.
- All the test config files are generated at the same time.
- The test dependencies of E-ACSL are added to the target
  `plugins_ptests_config` to be generated along with the main target.
  This in turn allow the user to directly use `ptests.opt` to launch
  tests after compiling the plugin.