Commits · 555a2af73f7c97b4745f93d5f14dbbe73ebfaa5d · pub / frama-c

Feb 06, 2025
- [Libc] add some POSIX constants in limits.h · 555a2af7
  Andre Maroneze authored 1 month ago
  
  555a2af7
Jan 31, 2025
- [Kernel] Moves new option -cache-size in the kernel. · 047b1f38
  David Bühler authored 2 months ago
  
  047b1f38
- [Eva] Replaces environment variable FRAMA_C_MEMORY_FOOTPRINT by an Eva parameter. · 447df042
  David Bühler authored 2 months ago
  
  The new parameter is -eva-cache-size.
  447df042
Jan 24, 2025
- [Dev] add Cram tests to 'make default-tests' and generalize nix cram testing · 6b46bb58
  Andre Maroneze authored 1 month ago
  
  6b46bb58
Jan 16, 2025
- Update headers to 2025 · 0d9cf882
  Thibault Martin authored 2 months ago
  
  0d9cf882
Jan 14, 2025
- [analysis-scripts] change workflow for recursion, defaulting to stricter mode · 63f97dad
  Andre Maroneze authored 5 months ago and David Bühler committed 2 months ago
  
  63f97dad
- [analysis-scripts] stricter default handling of unsupported specifications · 35d7ba39
  Andre Maroneze authored 5 months ago and David Bühler committed 2 months ago
  
  35d7ba39
Jan 06, 2025

[Kernel] avoid anonymous struct in machdep · e0efe123

Andre Maroneze authored 2 months ago

Creating an anonymous struct in the machdep causes an indexing shift for
user-created anonymous structures.

e0efe123

Nov 04, 2024
- [libc] Add mbsinit and mbrtowc · ec0a7827
  Basile Desloges authored 6 months ago and Andre Maroneze committed 4 months ago
  
  ec0a7827
- [libc] Add more utmp.h defines · 643a8cb0
  Basile Desloges authored 6 months ago and Andre Maroneze committed 4 months ago
  
  643a8cb0
- [libc] Add euidaccess and faccessat · 051bbe2c
  Basile Desloges authored 6 months ago and Andre Maroneze committed 4 months ago
  
  051bbe2c
- [libc] Add timegm · ed56ff76
  Basile Desloges authored 6 months ago and Andre Maroneze committed 4 months ago
  
  ed56ff76
- [libc] Add tm_gmtoff and tm_zone to struct tm · 413b1dec
  Basile Desloges authored 6 months ago and Andre Maroneze committed 4 months ago
  
  413b1dec
- [libc] Add secure_getenv · 594b80f4
  Basile Desloges authored 6 months ago and Andre Maroneze committed 4 months ago
  
  594b80f4
- [libc] Add mkostemp and mkostemps · 427ca8a0
  Basile Desloges authored 6 months ago and Andre Maroneze committed 4 months ago
  
  427ca8a0
- [libc] Add renameat and renameat2 · 00a5b4c6
  Basile Desloges authored 6 months ago and Andre Maroneze committed 4 months ago
  
  00a5b4c6
- [libc] Add pthread_sigmask · a9a9094f
  Basile Desloges authored 6 months ago and Andre Maroneze committed 4 months ago
  
  a9a9094f
- [libc] Add getgrouplist · 96116b73
  Basile Desloges authored 6 months ago and Andre Maroneze committed 4 months ago
  
  96116b73
- [libc] Add lchmod · 0343b44e
  Basile Desloges authored 6 months ago and Andre Maroneze committed 4 months ago
  
  0343b44e
- [libc] Add futimes, futimens and utimensat · 2a670542
  Basile Desloges authored 6 months ago and Andre Maroneze committed 4 months ago
  
  2a670542
- [libc] Add rawmemchr in string.h · f9204621
  Basile Desloges authored 6 months ago and Andre Maroneze committed 4 months ago
  
  f9204621
- [kernel] Add max_align_t to machdeps · 280fbd57
  Basile Desloges authored 6 months ago and Andre Maroneze committed 4 months ago
  
  280fbd57
Oct 03, 2024
- [build] use glob_files when possible · 89158f32
  Thibault Martin authored 6 months ago and Allan Blanchard committed 5 months ago
  
  89158f32
- [build] install share using source_trees · b0e5fd36
  Allan Blanchard authored 1 year ago
  
  b0e5fd36
- [libc] removed old files · b153b255
  Allan Blanchard authored 1 year ago
  
  b153b255
Sep 27, 2024
- Remove duplicate definition · ad3ad531
  Andre Maroneze authored 5 months ago
  
  ad3ad531
Sep 26, 2024
- [Libc] undefine 'index'/'rindex' if POSIX >= 200809 · 97cfc41e
  Andre Maroneze authored 5 months ago
  
  97cfc41e
Sep 25, 2024
- [Libc] add some POSIX and non-POSIX constants · 873b0788
  Andre Maroneze authored 5 months ago
  
  873b0788
Sep 23, 2024
- [Libc] fixes and improvements after review · 51251cad
  Andre Maroneze authored 6 months ago
  
  51251cad
- [libc] add several assigns clauses and minor improvements · c689bfc5
  Andre Maroneze authored 10 months ago
  
  c689bfc5
Sep 11, 2024
- [libc] minor change to help coreutils parsing · a90a6c3e
  Andre Maroneze authored 6 months ago
  
  a90a6c3e
Sep 10, 2024
- [libc] add some C11, C23 and glibc headers/definitions · 38e15162
  Andre Maroneze authored 8 months ago and Thibault Martin committed 6 months ago
  
  38e15162
Sep 09, 2024
- [analysis-scripts] sync build.py with blug master · db3765c5
  Andre Maroneze authored 6 months ago
  
  db3765c5
Aug 29, 2024
- [libc] add generic version of __builtin_mul_overflow · 18494a51
  Virgile Prevosto authored 8 months ago
  
  18494a51
- [libc] add MIN and MAX macros in sys/param.h · 639cee31
  Virgile Prevosto authored 8 months ago
  
  639cee31
- [libc] avoid using #pragma inside macros for better portability · 614538bc
  Virgile Prevosto authored 8 months ago
  
  614538bc
Aug 02, 2024
- [kernel] reorganize system config · a4a61e25
  Allan Blanchard authored 11 months ago and Andre Maroneze committed 7 months ago
  
  a4a61e25
- [kernel] rename fc_config to system_config · 7e8af0de
  Allan Blanchard authored 11 months ago and Andre Maroneze committed 7 months ago
  
  7e8af0de
Jul 31, 2024
- [lint] let black make things uglier · 0fb8cea7
  Virgile Prevosto authored 7 months ago
  
  0fb8cea7
- [fc-scripts] allows for __attribute__ in find-fun regex · cdf0730e
  Virgile Prevosto authored 8 months ago
  
  cdf0730e