Select Git revision
Search by author
- Any Author
- authors
-
Allan Blanchard
blanchard
-
Amine Nasri anasri
-
Andre Maroneze
maroneze
-
Armand Puccetti puccetti
-
Augustin Lemesle alemesle
-
Augustin PERRIN aperrin
-
Aymeric Varasse
varasse
-
Basile Desloges
bdesloges
-
Benjamin Jorge jorge
-
Bernard Botella botella
-
Boris Yakobowski
byako
-
Cécile Ruet-Cros cruetcros
-
Charles Babu M charlesm
-
Christophe Junke
cjunke
-
David Bühler buhler
-
David Feliot dfeliot
-
Dorian Lesbre
dlesbre
-
Fabio ALVES falves
-
Florent Kirchner kirchner
-
Frama-CI frama-ci
- Sep 21, 2022
-
-
Allan Blanchard authored -
Allan Blanchard authored
-
- Sep 19, 2022
-
-
Patrick Baudin authored[lint] fix identification of files that have been subject to git mv See merge request frama-c/frama-c!3917
-
Patrick Baudin authored
[Wp] doc: recalls the name of the default anonymous behavior Closes #2631 See merge request frama-c/frama-c!3918
-
Patrick Baudin authored
[test] Fixes promoting when using test script Closes #1153 See merge request frama-c/frama-c!3898
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Patrick Baudin authored
-
- Sep 16, 2022
-
-
Patrick Baudin authored
-
David Bühler authored
[eva] enable apron tests (dune) See merge request frama-c/frama-c!3716
-
- Sep 15, 2022
-
-
Patrick Baudin authored
-
Patrick Baudin authored
[Makefile] export WP cache-related Makefile variables to commands See merge request frama-c/frama-c!3895
-
Patrick Baudin authored
Take into account more git statuses in commit hook linter See merge request frama-c/frama-c!3912
-
- Sep 14, 2022
-
-
David Bühler authored
[Eva] Bug fix in the "smashed" function of trace_partitionning.ml See merge request frama-c/frama-c!3910
-
Allan Blanchard authored
[doc] remove rebellious @plugin tags See merge request frama-c/frama-c!3909
-
- Sep 13, 2022
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- Sep 12, 2022
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Allan Blanchard authored
-
Maxime Jacquemin authoredThe function relied on "List.map" which is not tail-rec. With enough plevel, it provoked a stack overflow. I've simply fixed it by performing the mapped computation inside the fold directly.
-
- Sep 09, 2022
-
-
David Bühler authored
[Eva] minimize warnings when using watchpoints See merge request frama-c/frama-c!3877
-
Andre Maroneze authored
-
- Sep 08, 2022
-
-
Allan Blanchard authored
[tests] add 'default-tests' target to only run default config tests See merge request frama-c/frama-c!3906
-
Andre Maroneze authored
-
- Sep 07, 2022
-
-
Allan Blanchard authored
fix typos in INSTALL.md See merge request frama-c/frama-c!3905
-
Andre Maroneze authored
-
Allan Blanchard authored
[Dev] adapt Dockerfile for dune builds See merge request frama-c/frama-c!3869
-
Julien Signoles authored[Cmdline] improve error messages for -D/-I/-U See merge request frama-c/frama-c!3902
-
Valentin Perrelle authored
[Eva] Deprecates Db.Value See merge request frama-c/frama-c!3900
-
Andre Maroneze authored
-
- Sep 06, 2022
-
-
Andre Maroneze authored
[distrib] check ignored files before distrib Closes #1163 See merge request frama-c/frama-c!3904
-
Valentin Perrelle authored
Fix issue in Aorai's handling of unlimited sequences Closes #1161 See merge request frama-c/frama-c!3896
-
Allan Blanchard authored
-
Allan Blanchard authored
Feature/andre/doc update plugin dev tutorial Closes #342 and #424 See merge request frama-c/frama-c!3890
-
Andre Maroneze authored
-
