Commits · 8fcf3467ab87c71372acc72a237fcf0a19358d93 · pub / frama-c · GitLab

Snippets Groups Projects

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 18, 2024
- [tests] update tests · 8df1fe5f
  Virgile Prevosto authored 11 months ago
  
  8df1fe5f
Apr 16, 2024
- [kernel] abort properly when a function is redefined (fixes #1360 ) · bd176b1a
  Virgile Prevosto authored 11 months ago
  
  bd176b1a
Apr 15, 2024
- [tests] use double quotes when including Frama-C-specific libc header · 8590f367
  Andre Maroneze authored 11 months ago
  
  8590f367
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
- CurrentLoc at toplevel, define with_loc(_opt) and let<?> · c7ac3907
  Thibault Martin authored 1 year ago and Virgile Prevosto committed 1 year ago
  
  c7ac3907
- 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
- Remove Cil.Currentloc, use Cil_const.CurrentLoc · 24442cd6
  Thibault Martin authored 1 year ago and Virgile Prevosto committed 1 year ago
  
  24442cd6
Mar 26, 2024
- Update test oracles · 8c5a2bb1
  Thibault Martin authored 1 year ago and Allan Blanchard committed 1 year ago
  
  8c5a2bb1
- Use the new syntax for ACSL extension in tests · c9f05c24
  Thibault Martin authored 1 year ago and Allan Blanchard committed 1 year ago
  
  c9f05c24
Mar 22, 2024
- [tests] Update test oracles · 48d8c108
  Thibault Martin authored 1 year ago
  
  48d8c108
Mar 15, 2024
- another test for wide strings · 37683f34
  Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago
  
  37683f34
- [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
- [tests] new tests for location of parsing error · f4f69097
  Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago
  
  f4f69097
- [tests] test for issue #375 · 8ca0c1b3
  Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago
  
  8ca0c1b3
- [typing] better warning localisation · 9de8b25b
  Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago
  
  9de8b25b
- update some oracles · 43f68a88
  Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago
  
  43f68a88
- [tests] Move purely syntactic test outside of value/ · dc7cf8a5
  Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago
  
  dc7cf8a5
- [kernel] Better localization for errors within field declaration · e401bf82
  Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago
  
  e401bf82
- [kernel] Better localization for cast errors · b46b09b7
  Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago
  
  b46b09b7
- [kernel] Better localization for array length errors · 66fdfc2f
  Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago
  
  66fdfc2f
- [kernel] Fix CurrentLoc when doing index range inits checks · 60215bfc
  Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago
  
  60215bfc
- [kernel] Better API for Errorloc.pp_context_from_file · fced3508
  Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago
  
  fced3508
- [kernel] better localisation for error msgs on array indices · 9c42846d
  Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago
  
  9c42846d
Mar 12, 2024
- [libc] fix and improve spec of realpath · 2aefd5ed
  Andre Maroneze authored 1 year ago
  
  2aefd5ed