- 03 Feb, 2023 4 commits
-
-
Allan Blanchard authored
[WP] extra config files for Why3 See merge request frama-c/frama-c!3845
-
Allan Blanchard authored
-
-
-
- 01 Feb, 2023 5 commits
-
-
Andre Maroneze authored
Update headers See merge request frama-c/frama-c!4072
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Allan Blanchard authored
-
Allan Blanchard authored
[Dev] update Dockerfile to include E-ACSL tests See merge request frama-c/frama-c!4074
-
- 31 Jan, 2023 7 commits
-
-
Andre Maroneze authored
Also, due to some E-ACSL tests depending on glibc (and thus failing on Alpine), and the fact that E-ACSL does not work on Alpine anyway, the plug-in is now disabled in that Docker image.
-
Andre Maroneze authored
[ci] add black to linting See merge request frama-c/frama-c!4073
-
Allan Blanchard authored
-
Allan Blanchard authored
Opam minimal target weekly Closes #1192 See merge request frama-c/frama-c!4030
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- 27 Jan, 2023 5 commits
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
[ivette] support DESTDIR during Ivette installation See merge request frama-c/frama-c!4067
-
Loïc Correnson authored
[dev] add missing tools required for contributors See merge request frama-c/frama-c!4057
-
Patrick Baudin authored
linting some more C files See merge request frama-c/frama-c!4058
-
- 26 Jan, 2023 1 commit
-
-
Allan Blanchard authored
-
- 25 Jan, 2023 3 commits
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
Add support for C11's _Generic See merge request frama-c/frama-c!4028
-
Andre Maroneze authored
-
- 24 Jan, 2023 6 commits
-
-
Patrick Baudin authored
[lint] get non utf8 position See merge request frama-c/frama-c!4064
-
Allan Blanchard authored
[wp] debug interactive provers See merge request frama-c/frama-c!4066
-
Patrick Baudin authored
-
Loïc Correnson authored
-
Loïc Correnson authored
-
Loïc Correnson authored
-
- 23 Jan, 2023 9 commits
-
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
These functions are useful for _Generic support, and they try to be as close as possible to the C standard.
-
Loïc Correnson authored
-
Loïc Correnson authored
-
Loïc Correnson authored
-
Allan Blanchard authored
Fixes to ensure compatibility with Windows/Cygwin See merge request frama-c/frama-c!4035
-