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
- May 08, 2020
-
-
François Bobot authored
-
- May 07, 2020
-
-
François Bobot authored
-
Loïc Correnson authored
-
- May 03, 2020
-
-
François Bobot authored
-
- May 02, 2020
-
-
François Bobot authored
-
François Bobot authored
-
François Bobot authored
-
François Bobot authored
-
- May 01, 2020
-
-
François Bobot authored
-
François Bobot authored
-
François Bobot authored
-
- Mar 25, 2020
-
-
Loïc Correnson authored
-
Loïc Correnson authored
-
Loïc Correnson authored
# Conflicts: # src/plugins/wp/ProverWhy3.ml
-
Loïc Correnson authored
[wp] Bind Cfloat simple symbols on Why3 IEEE float Closes #656, #346, #798, and #785 See merge request frama-c/frama-c!2544
-
Loïc Correnson authored
-
Loïc Correnson authored
-
Loïc Correnson authored
-
-
Loïc Correnson authored
[wp] builtin types are now registered in LogicBuiltins See merge request frama-c/frama-c!2589
-
Loïc Correnson authored
-
Loïc Correnson authored
Why3: 1.2.1 Alt-Ergo: 2.3.0 Coq: 8.9.1
-
- Mar 24, 2020
-
-
Julien Signoles authored[eacsl] Fix deactivation of variadic plugin See merge request frama-c/frama-c!2590
-
Julien Signoles authored
-
Basile Desloges authored -
Allan Blanchard authored
-
- Mar 20, 2020
-
-
Julien Signoles authored
[eacsl:tests] Update test results following the merge of !2574 on master See merge request frama-c/frama-c!2585
-
Virgile Prevosto authored
-
Virgile Prevosto authored
[Kernel] add option -cpp-extra-args-per-file See merge request frama-c/frama-c!2559
-
Basile Desloges authored
-
Julien Signoles authored
[eacsl:doc] Replace tabs with spaces in changelog See merge request frama-c/frama-c!2583
-
Basile Desloges authored
[E-ACSL] Fix tracking of variables declared inside switch bodies Closes e-acsl#91 See merge request frama-c/frama-c!2574
-
David Bühler authored
[Metrics] fix percent display for 0 analyzed statements See merge request frama-c/frama-c!2582
-
Basile Desloges authored
-
Basile Desloges authored
-
Basile Desloges authored
-
Basile Desloges authored
-
Basile Desloges authored
-
- Mar 19, 2020
-
-
Andre Maroneze authored
-
Basile Desloges authored
[E-ACSL] Call E-ACSL's free function for globals in a separate functions Closes e-acsl#105 and e-acsl#95 See merge request frama-c/frama-c!2558
-
