- Feb 28, 2025
-
-
Allan Blanchard authored[tests] Sync with frama-c!4512 See merge request frama-c/frama-clang!278
-
- Feb 27, 2025
-
-
Jan Rochel authored
-
- Feb 25, 2025
-
-
Thibault Martin authoredFeature/martin/cil/move type out of cil See merge request frama-c/frama-clang!270
-
Thibault Martin authored
-
Allan Blanchard authored
[Kernel compatibility] add ACSL object_pointer keyword See merge request frama-c/frama-clang!276
-
- Feb 24, 2025
-
-
- Feb 21, 2025
-
-
Andre Maroneze authoredsync with frama-c/frama-c!4932 See merge request frama-c/frama-clang!273
-
- Feb 19, 2025
-
-
Virgile Prevosto authored
-
Andre Maroneze authored
-
- Feb 17, 2025
-
-
Thibault Martin authored
Feature/martin/kernel/rename attributes functions See merge request frama-c/frama-clang!275
-
Basile Desloges authored[kernel compatibility] Sync with frama-c!4936 See merge request frama-c/frama-clang!274
-
Thibault Martin authored
-
Basile Desloges authored
-
- Feb 14, 2025
-
-
Thibault Martin authored
-
Thibault Martin authored
-
- Feb 13, 2025
-
-
Virgile Prevosto authored
Array length in ACSL(++) annotations See merge request frama-c/frama-clang!272
-
- Feb 12, 2025
-
-
Virgile Prevosto authored
[release] update README.md when setting new Frama-C reference version Closes #49 See merge request frama-c/frama-clang!265
-
- Feb 07, 2025
-
-
- Feb 06, 2025
-
-
David Bühler authored
Taking Floating_point module changes into account See merge request frama-c/frama-clang!271
-
-
Basile Desloges authored
Do not mangle extern C pointer to function and sync with frama-c!4895 See merge request frama-c/frama-clang!268
-
- Feb 05, 2025
-
-
Basile Desloges authored
-
Basile Desloges authored
-
Basile Desloges authored
-
Thibault Martin authored
[Kernel compatibility] Use new Ast_attributes module See merge request frama-c/frama-clang!269
-
- Feb 03, 2025
-
-
- Jan 31, 2025
-
-
Thibault Martin authored
[kernel compatiblity] Use records for Cil_types.typ See merge request frama-c/frama-clang!262
-
Thibault Martin authored
-
- Jan 16, 2025
-
-
Thibault Martin authored
Update headers to 2025 See merge request frama-c/frama-clang!266
-
Thibault Martin authored
-
- Jan 14, 2025
-
-
Andre Maroneze authored
synchronize with frama-c/frama-c!4803 See merge request frama-c/frama-clang!257
-
Andre Maroneze authored
-
- Jan 09, 2025
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
Fix FC version in README See merge request frama-c/frama-clang!264
-
- Jan 07, 2025
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
- Dec 20, 2024
-
-
Thibault Martin authored
[kernel compatibility] Remove Cabs.SEQUENCE See merge request frama-c/frama-clang!263
-
Thibault Martin authored
-
