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 09, 2022
-
-
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
-
Andre Maroneze authored
-
- Sep 05, 2022
-
-
Andre Maroneze authored
-
- Sep 02, 2022
-
-
Thibaut Benjamin authored
[E-ACSL] add option --then-last to e-acsl-gcc.sh See merge request frama-c/frama-c!3894
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Thibaut Benjamin authored
Bugfix: name conflict when a function with contract shares a name with a logic function Closes e-acsl#204 See merge request frama-c/frama-c!3899
-
David Bühler authored
-
David Bühler authored
-
David Bühler authored
-
David Bühler authored
-
David Bühler authored
Uses a reference to a function provided by Eva to compute the dependency of a term.
-
David Bühler authored
Feature/eva/ivette functions table See merge request frama-c/frama-c!3884
-
-
-
-
Andre Maroneze authored
[Variadic] Fix the references to calls in unspecified sequences Closes #327 See merge request frama-c/frama-c!3886
-
Thibaut Benjamin authored
-
- Sep 01, 2022
-
-
Thibaut Benjamin authored
-
Thibaut Benjamin authored
-
- Aug 31, 2022
-
-
Andre Maroneze authored
Fix handling of explicit cast to _Bool Closes #2623 See merge request frama-c/frama-c!3897
-
