On very small programs, the Eva analysis may end before the computation hook
is registered, and ivette is never notified that the analysis has been computed.

Sending the corresponding signal when the hook is registered ensures the
synchronization of the given value/state/array at the start.

[Eva] Analysis stats

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

Avoids duplication of the statistics file for each configuration.

[analysis-scripts] add 'ivette' target alias

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

[Ivette] ASTview: adds a menu entry "go to definition" on function pointers.

Closes #1246

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

[Eva] Fixes values requests on uninitialized or escaping lvalues

Closes #1239

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

Resolve "[ivette] integration at toplevel makefile"

Closes #1252

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

[Ivette] Property filter: adds a menu to select/deselect all filters.

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

Uses Sidebars Section, with a summary and a right button, instead of Folders.

[Eva] Compact display of large integer sets

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