Commits · 643a8cb01d5e06f842f475ef211f70b966ac661d · pub / frama-c · GitLab

Snippets Groups Projects

Nov 04, 2024
- [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
Jul 26, 2024
- [libc] add non-POSIX, glibc-specific sys/sysmacros.h · 51d664ea
  Andre Maroneze authored 7 months ago
  
  51d664ea
Jul 24, 2024
- [analysis-scripts] apply shellcheck suggestions and a few more improvements · 2b82cd70
  Andre Maroneze authored 8 months ago
  
  2b82cd70
- [analysis-scripts] fixes for creduce script · 6fd8c1bc
  Andre Maroneze authored 8 months ago
  
  6fd8c1bc
Jul 22, 2024
- [analysis-scripts] apply suggested improvement by malberti · 6568475b
  Andre Maroneze authored 8 months ago
  
  6568475b
- [analysis-scripts] cache calls to build.find_definitions · a7075cd8
  Andre Maroneze authored 8 months ago
  
  a7075cd8
- [analysis-scripts] add more typing annotations · 6da1b894
  Andre Maroneze authored 8 months ago
  
  6da1b894
- [analysis-scripts] ensure sorted output in heuristic-list-functions · 2829541b
  Andre Maroneze authored 8 months ago
  
  2829541b
- [libc] Add terminates \false clause for noreturn functions · 5e12f8b5
  Thibault Martin authored 8 months ago
  
  5e12f8b5
Jul 16, 2024
- [analysis-scripts] add PARSEFLAGS to avoid reparsing with -cpp-extra-args-per-file · 7dfbe6ea
  Andre Maroneze authored 8 months ago
  
  7dfbe6ea