Feature/ivette/searchbar

Closes #904

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

[Ivette] Fixes some bugs in the property filters

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

[Filepath] add special_stdout notation (-)

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

See !2

[kernel] Complete GCC built-ins

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

[frama-c-script] improve output of make-wrapper

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

[doc] affiliation CEA-List, Université Paris-Saclay - Laboratoire de Sûreté et Sécurité des Logiciels
      related to issue #987

Prevents the [onBlur] event that clears the suggestion list to fire
on a left click press.
Allows the selection of an item by a left click release by the [onClick] event.

Starting from git 2.23, add option `--ignore-revs-file .git-blame-ignore-revs`
to git blame, or run `git config blame.ignoreRevsFile .git-blame-ignore-revs`
to skip those commits automatically.

Most of the built-ins in <https://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.html>
have been added.

Andre Maroneze authored 5 years ago and Andre Maroneze committed 4 years ago

Currently, make-wrapper must wait for the process to finish before outputting
its result. This patch ensures the output is displayed continuously during
the execution of Eva.

[wp] fix triggers for cint ranges

Closes pub/frama-c#44

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