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
- Feb 01, 2024
-
-
Jan Rochel authored
-
- Jan 31, 2024
-
-
David Bühler authored
restore callsite location in populate spec warnings See merge request frama-c/frama-c!4468
-
-
- Jan 30, 2024
-
-
David Bühler authored
[Kernel] remove unsafe Kinstr.loc See merge request frama-c/frama-c!4476
-
-
- Jan 29, 2024
-
-
Allan Blanchard authored[opam] temporarily limit dune upper version See merge request frama-c/frama-c!4475
-
Allan Blanchard authored
- 3.13.0 has a regression that prevent build when test dune file are generated
-
Allan Blanchard authored
-
- Jan 26, 2024
-
-
Loïc Correnson authoredLast steps for removing Db See merge request frama-c/frama-c!4467
-
Allan Blanchard authored
Issue #2687: Fix Makefile escaping of ivette shell wrappers $@ on macOS See merge request frama-c/frama-c!4471
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- Jan 25, 2024
-
-
Allan Blanchard authored
-
Allan Blanchard authored
[kernel] Removes module Postdominators and Security from Db. See merge request frama-c/frama-c!4466
-
David Bühler authored
-
David Bühler authored
Creates a standard interface for the postdominators plugin, used by the Eva and from plugins.
-
David Bühler authored
-
David Bühler authored
-
Allan Blanchard authored
Remove Inout from Db See merge request frama-c/frama-c!4461
-
David Bühler authored
-
David Bühler authored
-
Allan Blanchard authored
-
- Jan 24, 2024
-
-
Allan Blanchard authored
-
Allan Blanchard authored
[Kernel] Move the booting code inside See merge request frama-c/frama-c!4374
-
Allan Blanchard authored
[wp] Counter Examples Closes #194 See merge request frama-c/frama-c!4123
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
Bump Ocamlgraph to 2.0.0 See merge request frama-c/frama-c!4455
-
- Jan 23, 2024
-
-
Loïc Correnson authored
-
Loïc Correnson authored
-
Thibault Martin authored[Librairies] Let bindings for the Option module See merge request frama-c/frama-c!4454
-
Maxime Jacquemin authored -
Allan Blanchard authored
-
Maxime Jacquemin authored
The Stdlib does not export those let bindings so we have to do it.
-
Loïc Correnson authored
-
Loïc Correnson authored
-
