Commits · 14151428978dc4e82a66807397a295aa58e3f80d · pub / frama-c · GitLab

Snippets Groups Projects

Sep 02, 2024
- [Kernel] Cabs2cil: fix several operators with _Generic · 14151428
  Andre Maroneze authored 6 months ago
  
  14151428
Aug 01, 2024
- [Kernel] allow _Pragma in function signature (as does GCC) · 11b1d6a1
  Andre Maroneze authored 10 months ago
  
  11b1d6a1
Jul 31, 2024
- [tests] test case for typename/idname lexer context manipulations · 11486796
  Virgile Prevosto authored 7 months ago and Thibault Martin committed 7 months ago
  
  11486796
Jul 10, 2024
- [typing] allow parenthesizing string literals that initialize an array · 6a0c34f6
  Virgile Prevosto authored 8 months ago
  
  6a0c34f6
- [tests] test case for bug in handling array initialization from string · 11a4030b
  Virgile Prevosto authored 8 months ago
  
  11a4030b
Jul 05, 2024
- [tests] more coherent filenames · 06463e22
  Virgile Prevosto authored 8 months ago
  
  06463e22
- [typing] fix isConstant test for global initialization · 24c02301
  Virgile Prevosto authored 8 months ago
  
  24c02301
- [tests] prepare test case for expression mistakenly considered as const · 9ecdc0d5
  Virgile Prevosto authored 8 months ago
  
  9ecdc0d5
Jun 19, 2024
- [tests] test that we don't accept Generics on a VLA type · 5224fe7e
  Virgile Prevosto authored 9 months ago
  
  5224fe7e
- [typing] ensure we can compute the sizeof of a VLA type · 81f0ff97
  Virgile Prevosto authored 9 months ago
  
  81f0ff97
- [typing] better contextualization of error msg on unexpected VLA · a91ae0f4
  Virgile Prevosto authored 9 months ago
  
  a91ae0f4
Jun 18, 2024
- [tests] add various tests for incorrect VLA declarations · 26429b3e
  Virgile Prevosto authored 11 months ago
  
  26429b3e
- Test pour la CI ! · 85feaf4d
  Alexandre Doyen authored 11 months ago and Virgile Prevosto committed 9 months ago
  
  85feaf4d
May 13, 2024
- update test oracles · 0df659b4
  Andre Maroneze authored 11 months ago
  
  0df659b4
May 06, 2024
- [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
- [tests] more stable oracle for ast-diff test · 51b7c945
  Virgile Prevosto authored 11 months ago and David Bühler committed 10 months ago
  
  51b7c945
- [tests] add test for diffing ACSL extensions · 37e947b8
  Virgile Prevosto authored 11 months ago and David Bühler committed 10 months ago
  
  37e947b8
Apr 29, 2024
- [kernel] Warning key for arrays larger than SIZE_MAX. · 8fcf3467
  David Bühler authored 11 months ago
  
  8fcf3467
Apr 24, 2024
- [tests] add a few more tests for nested implicit calls · 11d8d193
  Virgile Prevosto authored 11 months ago
  
  11d8d193
- [cabs2cil] Check type consistency between call varinfo and its arguments · e9522581
  Thibault Martin authored 11 months ago and Virgile Prevosto committed 11 months ago
  
  e9522581
- [cabs2cil] Check argument compatibility for calls without a prototype · 42293691
  Thibault Martin authored 11 months ago and Virgile Prevosto committed 11 months ago
  
  42293691
Apr 22, 2024
- [tests] expected oracles · e0c1813d
  Loïc Correnson authored 11 months ago
  
  e0c1813d
Apr 16, 2024
- [kernel] abort properly when a function is redefined (fixes #1360 ) · bd176b1a
  Virgile Prevosto authored 11 months ago
  
  bd176b1a
Apr 04, 2024
- [tests] simpler test for builtin labels · 1fa9dbe4
  Allan Blanchard authored 11 months ago
  
  1fa9dbe4
- [kernel] simplify label name selection · c107d973
  Allan Blanchard authored 11 months ago
  
  - since we rename builtin labels, let us just try to find a label that does not need renaming
  c107d973
- [typing] rename C labels when name clashes with a builtin ACSL label · c0a3ed4f
  Virgile Prevosto authored 11 months ago
  
  c0a3ed4f
Apr 03, 2024
- [kernel] warn when using logic labels in code · 0d31e926
  Allan Blanchard authored 1 year ago and Virgile Prevosto committed 11 months ago
  
  - guarantee that pp code has the same semantics in such a case
  0d31e926
Apr 02, 2024
- [tests] Update a test to trigger a warning in doInit · dd92f0ff
  Thibault Martin authored 11 months ago
  
  dd92f0ff
- [tests] Update incompatible_qualifier to test all errors · 15531208
  Thibault Martin authored 11 months ago
  
  15531208
- Abort if two declaration of the same global have incompatible types · 7afa5b87
  Thibault Martin authored 1 year ago
  
  7afa5b87
Mar 28, 2024
- Set falls-through loc to the end of the function · a7b40a45
  Thibault Martin authored 1 year ago and Virgile Prevosto committed 1 year ago
  
  a7b40a45
Mar 26, 2024
- Update test oracles · 8c5a2bb1
  Thibault Martin authored 1 year ago and Allan Blanchard committed 1 year ago
  
  8c5a2bb1
Mar 22, 2024
- [tests] Update test oracles · 48d8c108
  Thibault Martin authored 1 year ago
  
  48d8c108
Mar 15, 2024
- [typing] better handling of sizeof(L"bla") · d8fdc064
  Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago
  
  d8fdc064
- add test case · 6e44e78b
  Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago
  
  6e44e78b
- [lexer] use currentLoc instead of directly lexbuf; · 21466b38
  Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago
  
  Also, give a better localization of unfinished `/@ ... @/` annotations in ghost code.
  21466b38
- [typing] better error message · 29d0240b
  Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago
  
  29d0240b
- [parser] yet more improved locations in the AST. · 66ff3973
  Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago
  
  66ff3973
- [parsing] more accurate locations for decl nodes · 6dd78cc8
  Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago
  
  6dd78cc8
- [parser] towards better locations for syntax errors · 7dd8cb6a
  Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago
  
  7dd8cb6a