Commits · 0df659b4ea5f2866146f7f0c2afbcf003545d554 · pub / frama-c · GitLab

Snippets Groups Projects

May 13, 2024
- 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 1 year ago
  
  20987ae2
- [Libc] change fexcept_t type and add macro for portability checks · 44b8e2ff
  Andre Maroneze authored 1 year ago
  
  44b8e2ff
- [Libc] add stub and tests for vfscanf · c89894a0
  Andre Maroneze authored 1 year ago
  
  c89894a0
- [Libc] add builtin helpers for several missing types and improve specs for floating-point intervals · 501c9c34
  Andre Maroneze authored 1 year 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
May 11, 2024
- Merge branch 'fix/kernel/int-compatibility-warning' into 'master' · 1d96c453
  Thibault Martin authored 10 months ago
  
  [kernel] Fixes typo in warning about integer compatibility. See merge request frama-c/frama-c!4607
  1d96c453
May 06, 2024
- [kernel] Fixes typo in warning about integer compatibility. · 17f4d8c5
  David Bühler authored 10 months ago
  
  17f4d8c5
- Merge branch 'fix/kernel/1137-ast-diff-acsl-extension' into 'master' · 3e4a1552
  David Bühler authored 10 months ago
  
  compare acsl extensions in AST diff Closes #1137 See merge request frama-c/frama-c!4579
  3e4a1552
- [kernel] Removes empty lines in acsl_extension interface. · e6dd341c
  David Bühler authored 10 months ago
  
  e6dd341c
- [kernel] Ast-diff mark func with different code annot has having changed body · 0991027f
  Virgile Prevosto authored 11 months ago and David Bühler committed 10 months ago
  
  0991027f
- [kernel] Handle extension in code annotations · cfda0d11
  Virgile Prevosto authored 11 months ago and David Bühler committed 10 months ago
  
  cfda0d11