Commits · 82b64a8b8ce0714e759129c96bb7c69d47e1de59 · pub / frama-c · GitLab

Snippets Groups Projects

May 13, 2024
- [libc] undo 'portability check' of fexcept_t · 82b64a8b
  Andre Maroneze authored 10 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 10 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
- Revert "[doc] add portability-related macros in userman" · 86a8430a
  Andre Maroneze authored 11 months ago
  
  This reverts commit 467f60b7.
  86a8430a
- [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
- update test oracles · 0df659b4
  Andre Maroneze authored 11 months ago
  
  0df659b4
- [Libc] improve several specifications (mainly string.h/stdlib.h) and add tests · ed30a473
  Andre Maroneze authored 11 months ago
  
  ed30a473
- [Libc] several fixes and spec improvements · 20987ae2
  Andre Maroneze authored 11 months ago
  
  20987ae2
- [Libc] change fexcept_t type and add macro for portability checks · 44b8e2ff
  Andre Maroneze authored 11 months ago
  
  44b8e2ff
- [Libc] add stub and tests for vfscanf · c89894a0
  Andre Maroneze authored 11 months ago
  
  c89894a0
- [Libc] add builtin helpers for several missing types and improve specs for floating-point intervals · 501c9c34
  Andre Maroneze authored 11 months ago
  
  501c9c34
- [Libc] add missign 'extern's for uniformity · b8a2c102
  Andre Maroneze authored 1 year ago
  
  b8a2c102
- [Libc] add prototype and spec for non-POSIX function memmem · a22838dd
  Andre Maroneze authored 1 year ago
  
  a22838dd
- [Libc] add prototype + spec for vasprintf and improve tests · 3531a9c0
  Andre Maroneze authored 1 year ago
  
  3531a9c0
- [libc] add assigns for several functions · 4a725e30
  Andre Maroneze authored 1 year ago
  
  4a725e30
- [libc] add missing prototypes, types and assigns in fenv.h · 9691cdcc
  Andre Maroneze authored 1 year ago
  
  9691cdcc
- [libc] add assigns for a few functions · aa2e8940
  Andre Maroneze authored 1 year ago
  
  aa2e8940
- [libc] add assigns for stdatomic.h · 58fc1cc2
  Andre Maroneze authored 1 year ago
  
  58fc1cc2
- [libc] add assigns clauses for glob.h functions · 87f317e9
  Andre Maroneze authored 1 year ago
  
  87f317e9
- [libc] add spec for memrchr · 6e2b195d
  Andre Maroneze authored 1 year ago
  
  6e2b195d
- [libc] add assigns clauses for argz.h functions · e92dce03
  Andre Maroneze authored 1 year ago
  
  e92dce03
- [libc] add specification for wcsdup · 3d940998
  Andre Maroneze authored 1 year ago
  
  3d940998
- [libc] improve spec of strrchr · 0b5b8594
  Andre Maroneze authored 1 year ago
  
  0b5b8594
- Merge branch 'fix/ivette-build' into 'stable/copper' · 1dc56f25
  Thibault Martin authored 10 months ago
  
  Fix/ivette build See merge request frama-c/frama-c!4611
  1dc56f25
- Merge branch 'fix/blanchard/wp/changelog' into 'stable/copper' · e329dfdc
  Thibault Martin authored 10 months ago
  
  WP Changelog See merge request frama-c/frama-c!4612
  e329dfdc
- [e-acsl] Remove duplicated changelog version · 95d9d8a4
  Thibault Martin authored 10 months ago
  
  95d9d8a4
- [ivette/tests] remove unused out · aa6b199f
  Loïc Correnson authored 10 months ago and Thibault Martin committed 10 months ago
  
  aa6b199f
- [ivette/test] degrade test · 22237227
  Loïc Correnson authored 10 months ago and Thibault Martin committed 10 months ago
  
  22237227
- [ivette/ci] no more allowed to fail · 0cb70d27
  Loïc Correnson authored 10 months ago and Thibault Martin committed 10 months ago
  
  0cb70d27
- [wp] Changelog · be821a4a
  Allan Blanchard authored 10 months ago
  
  be821a4a
- [release] Update ivette version · 5a8f1454
  Thibault Martin authored 10 months ago
  
  5a8f1454
- [release] Update author list · f73ff6dd
  Thibault Martin authored 10 months ago
  
  f73ff6dd
- [release] Add 28.0 and 28.1 to ALL_VERSIONS · 82423b67
  Thibault Martin authored 10 months ago
  
  82423b67
- [release] Add beta in doc link · fc160177
  Thibault Martin authored 10 months ago
  
  fc160177
- [doc] Update author list · 7b3ed4dd
  Thibault Martin authored 10 months ago
  
  7b3ed4dd
- [doc] Add 28.0 and 28.1 to ALL_VERSIONS · 62d6b32c
  Thibault Martin authored 10 months ago
  
  62d6b32c
- [doc] Add beta in doc link · b56e3ea9
  Thibault Martin authored 10 months ago
  
  b56e3ea9
- Update version for 29.0~beta · 4880efea
  Thibault Martin authored 10 months ago
  
  4880efea
- Change default branch · 678e6bb1
  Thibault Martin authored 10 months ago
  
  678e6bb1