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
- Jan 14, 2025
-
-
-
-
-
-
Loïc Correnson authored[Ivette] Fixes compilation verbosity See merge request frama-c/frama-c!4878
-
Remi Lazarini authored
[Ivette] Properties : added filter for libc Closes #1387 See merge request frama-c/frama-c!4854
-
David Bühler authored
But still ensure the server API is always generated first.
-
David Bühler authored
-
Allan Blanchard authored[ci] Add patchShebang to frama-c.nix See merge request frama-c/frama-c!4877
-
- Jan 13, 2025
-
-
Basile Desloges authoredThe script `ivette/api.sh` with a shebang is run when building Frama-C so a call to `patchShebang` in `frama-c.nix` is necessary so that the shebang in the script is correctly handled by Nix in all cases.
-
Remi Lazarini authored
-
David Bühler authored
-
-
- Jan 09, 2025
-
-
Andre Maroneze authored
Feature/andre/refactor pp dkeys See merge request frama-c/frama-c!4872
-
Andre Maroneze authored
-
Andre Maroneze authored
-
- Jan 08, 2025
-
-
Jan Rochel authoredupdate release manual following 30.0 Zinc experience See merge request frama-c/frama-c!4836
-
- Jan 07, 2025
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
In particular if the pipeline of the release itself fails and the branch gets updated...
-
- Jan 06, 2025
-
-
Virgile Prevosto authored
[kernel] fix frama-c visitor See merge request frama-c/frama-c!4866
-
Andre Maroneze authored
[Kernel] avoid anonymous struct in machdep See merge request frama-c/frama-c!4870
-
Andre Maroneze authored
Creating an anonymous struct in the machdep causes an indexing shift for user-created anonymous structures.
-
Andre Maroneze authored
[tests] avoid race condition in test See merge request frama-c/frama-c!4871
-
Andre Maroneze authored
When tests are run in parallel, using the same name for two test outputs might truncate it before it is written, leading to a non-deterministic oracle.
-
- Dec 20, 2024
-
-
Thibault Martin authored[Cabs] Remove Cabs.SEQUENCE See merge request frama-c/frama-c!4852
-
Thibault Martin authored
-
Thibault Martin authored
-
Allan Blanchard authored
[wp+ivette] Add buttons for interactive provers See merge request frama-c/frama-c!4865
-
Allan Blanchard authored
-
- Dec 19, 2024
-
-
Remi Lazarini authored
[Ivette] Sqplit : A new split bar has been added, allowing the top and bottom... See merge request frama-c/frama-c!4855
-
Allan Blanchard authored
-
Virgile Prevosto authored
-
Allan Blanchard authored
-
- Dec 18, 2024
-
-
Remi Lazarini authored
[Ivette] Sqplit : A new split bar has been added, allowing the top and bottom widths to be changed separately.
-
Remi Lazarini authored
[Ivette] added Help component with test in sandbox and adapting the markdown component See merge request frama-c/frama-c!4859
-
Loïc Correnson authored
The range type is used only with the application int option See merge request frama-c/frama-c!4864
-
Remi Lazarini authored
-
