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 06, 2025
-
-
Maxime Jacquemin authored -
Maxime Jacquemin authored
-
Basile Desloges authored -
Maxime Jacquemin authored
-
Maxime Jacquemin authored
-
Maxime Jacquemin authored
-
Maxime Jacquemin authored
- Using Q.mul_2exp for pow2 - Simpler and correct implementation for log2 - Declaring the ten constant only once
-
Maxime Jacquemin authored
-
Maxime Jacquemin authored
- Add a Rational module that implements a field over rationals. - Add rationals to Datatype - Move field, nat, finite and linear into libraries/arithmetic - Update linear_filter_test to use the Rational module - Update oracles
-
Basile Desloges authored
[libc] Add specification for signal(sig, func) See merge request frama-c/frama-c!4895
-
- Feb 05, 2025
-
-
Julien Signoles authored[kernel] remove unused Datatype.*.module_name and Type.*ml_name Closes #1489 See merge request frama-c/frama-c!4907
-
Basile Desloges authored
-
Basile Desloges authored
-
Basile Desloges authored
-
Basile Desloges authored
-
Basile Desloges authored
Add advice on `typing:no-proto` message See merge request frama-c/frama-c!4920
-
David Bühler authored
[scripts] Improve callgrind usage See merge request frama-c/frama-c!4925
-
Basile Desloges authored
-
Basile Desloges authored
-
Basile Desloges authored
-
Valentin Perrelle authored
-
Thibault Martin authoredResolve "Failure when a GNU.body does not end with a Cabs.COMPUTATION" Closes #1475 See merge request frama-c/frama-c!4905
-
-
Thibault Martin authored
Add a parameter builder for decimal numbers See merge request frama-c/frama-c!4926
-
-
-
-
-
-
-
Thibault Martin authored
Move attributes related functions out of Cil See merge request frama-c/frama-c!4910
-
Valentin Perrelle authored
-
Valentin Perrelle authored
-
Valentin Perrelle authored
- Type.register returns the first registered type instead of a new one
-
Valentin Perrelle authored
-
Valentin Perrelle authored
-
Valentin Perrelle authored
-
- Feb 04, 2025
-
-
Andre Maroneze authoredUndef unsupported macros Closes #910 See merge request frama-c/frama-c!4891
-
Andre Maroneze authored
-
Andre Maroneze authored
-
