Commits · b8fdc330c45c32610e0cdaee9ba9cee585a8363d · pub / frama-c · GitLab

Snippets Groups Projects

Feb 05, 2025
- [libc] Add specification for signal(sig, func) · b8fdc330
  Basile Desloges authored 2 months ago
  
  b8fdc330
Jan 16, 2025
- Update headers to 2025 · 0d9cf882
  Thibault Martin authored 2 months ago
  
  0d9cf882
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
- [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 6 months ago
  
  97cfc41e
Sep 25, 2024
- [Libc] add some POSIX and non-POSIX constants · 873b0788
  Andre Maroneze authored 6 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
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
Jul 26, 2024
- [libc] add non-POSIX, glibc-specific sys/sysmacros.h · 51d664ea
  Andre Maroneze authored 8 months ago
  
  51d664ea
Jul 22, 2024
- [libc] Add terminates \false clause for noreturn functions · 5e12f8b5
  Thibault Martin authored 8 months ago
  
  5e12f8b5
Jun 07, 2024
- [libc] add a few non-standard definitions and specs · 583e5672
  Andre Maroneze authored 9 months ago
  
  583e5672
May 14, 2024
- [libc] Initialize vld to avoid warning with macos · dc89269b
  Thibault Martin authored 10 months ago
  
  View commits for tag 29.0-beta 29.0-beta
  
  dc89269b
May 13, 2024
- [libc] fixes and test oracle updates after review · dddbdb00
  Andre Maroneze authored 10 months ago
  
  dddbdb00
- [libc] minor fixes · ffffa4fe
  Andre Maroneze authored 11 months ago
  
  ffffa4fe
- [libc] undo 'portability check' of fexcept_t · 82b64a8b
  Andre Maroneze authored 11 months ago
  
  If needed, this will be done later via machdeps and not preprocessor macros
  82b64a8b
- [libc] use Linux-based pthread_t for better code compatibility · 440e3a5b
  Andre Maroneze authored 11 months ago
  
  440e3a5b
- revert "[Libc] add __FC_PTHREAD_T_IS_SCALAR ..." and change pthread_t type · abd27d22
  Andre Maroneze authored 11 months ago
  
  This reverts commit 1e6f9135. It also changes pthread_t to match the usual definition on a glibc + Linux.
  abd27d22
- [libc] improve parsing of code using setjmp.h · d6dd913d
  Andre Maroneze authored 11 months ago
  
  d6dd913d
- [libc] fix internal spec from argz.c · 2bf698a1
  Andre Maroneze authored 11 months ago
  
  2bf698a1
- [Libc] improve several specifications (mainly string.h/stdlib.h) and add tests · ed30a473
  Andre Maroneze authored 1 year ago
  
  ed30a473
- [Libc] several fixes and spec improvements · 20987ae2
  Andre Maroneze authored 1 year ago
  
  20987ae2