[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

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

[doc] Update version in E-ACSL manuals

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

[kernel] Allows calling builtins Frama_C_show_each & cie in ghost code.

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

[dome] port Dome to TS

Closes #938 and #919

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

Feature/andre/remove frama c config

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

Fixes invariant labels and crash in WP

Closes #23

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

More robust proof obligation generation

Closes #972

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