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 10, 2019
-
-
Loïc Correnson authored -
Loïc Correnson authored
-
Loïc Correnson authored
-
- Sep 06, 2019
-
-
Julien Signoles authored[ptests] expand builtin macros in log files of EXEC directives... See merge request frama-c/frama-c!2367
-
- Sep 05, 2019
-
-
Patrick Baudin authoredFeature/wp/vc context See merge request frama-c/frama-c!2356
-
Patrick Baudin authored
-
- Sep 04, 2019
-
-
Patrick Baudin authored
[LibC, WP] Add logic function bittest in standard library See merge request frama-c/frama-c!2328
-
- Sep 02, 2019
-
-
Andre Maroneze authored
-
Valentin Perrelle authored
Several improvements to frama-c-script See merge request frama-c/frama-c!2326
-
Patrick Baudin authored
-
Patrick Baudin authored
-
-
-
Patrick Baudin authored
-
-
Patrick Baudin authored
-
Andre Maroneze authored
-
- Aug 30, 2019
-
-
Virgile Prevosto authored
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Valentin Perrelle authored
[Libc] avoid anonymous structures/enums See merge request frama-c/frama-c!2316
-
Andre Maroneze authored
This check will only be fully operational when rmtmps becomes optional, but it still protects against errors in used definitions.
-
Andre Maroneze authored
-
Loïc Correnson authored
-
- Aug 29, 2019
-
-
Andre Maroneze authored[Compliance] distribute compliance-related files See merge request frama-c/frama-c!2364
-
Andre Maroneze authored
-
François Bobot authored
Feature/wp/cleanup why3 See merge request frama-c/frama-c!2355
-
Valentin Perrelle authored
[Variadic] use indirect in assigns \result from to avoid garbled mix propagation See merge request frama-c/frama-c!2357
-
- Aug 28, 2019
-
-
Virgile Prevosto authored
[Libc] add standards-compliance databases and checks See merge request frama-c/frama-c!2343
-
Loïc Correnson authored
Server Plugin See merge request frama-c/frama-c!1838
-
Loïc Correnson authored
-
François Bobot authored
[lib] dot-graph utilities See merge request frama-c/frama-c!2350
-
-
Loïc Correnson authored
-
Julien Signoles authored
[Cmdline] add Filepath parameter Closes #589 See merge request frama-c/frama-c!2263
-
Julien Signoles authored
-
Julien Signoles authored
-
-
-
