Commits · 277955656059c510be9715e47b30fc5376faa244 · pub / frama-c · GitLab

Snippets Groups Projects

Feb 05, 2025
- [kernel] Update test oracles · 27795565
  Basile Desloges authored 1 month ago
  
  27795565
- [kernel] Change no parameters proto to (void) · 3a335ee4
  Basile Desloges authored 1 month ago
  
  3a335ee4
- [cabs2cil] better handling of statement expressions · 4c4123a3
  Benjamin Jorge authored 1 month ago and Thibault Martin committed 1 month ago
  
  4c4123a3
- [kernel] rename Decimal into Float · f50d800d
  Valentin Perrelle authored 1 month ago and Thibault Martin committed 1 month ago
  
  f50d800d
- [kernel] fixes and improvements · 878eef87
  Valentin Perrelle authored 1 month ago and Thibault Martin committed 1 month ago
  
  878eef87
- [kernel] remove -print-config-json from test · ed56e0e6
  Valentin Perrelle authored 1 month ago and Thibault Martin committed 1 month ago
  
  ed56e0e6
- [kernel] add a test for Parameter_sig.Decimal · fa9e9694
  Valentin Perrelle authored 1 month ago and Thibault Martin committed 1 month ago
  
  fa9e9694
Feb 04, 2025
- [tests] Proper dependencies for syntax's cram tests · 4d222603
  Virgile Prevosto authored 1 month ago and Andre Maroneze committed 1 month ago
  
  4d222603
- [pp] undef gcc-specific built-in macros and std macros for unsupported features · 4729f619
  Virgile Prevosto authored 2 months ago and Andre Maroneze committed 1 month ago
  
  4729f619
- [parser] Better message for attribute annotation errors · 6dd0bead
  Thibault Martin authored 1 month ago
  
  6dd0bead
Feb 03, 2025
- [Cil] Remove attribute annotation (Cil.AttrAnnot) · 7e039e7b
  Thibault Martin authored 1 month ago and Virgile Prevosto committed 1 month ago
  
  7e039e7b
- [doc] Fix wrong reference in doc · 5adf2a7d
  Thibault Martin authored 1 month ago and Virgile Prevosto committed 1 month ago
  
  5adf2a7d
- [Cil] Remove all deprecated usage of Cil attribute functions · 1eca97f3
  Thibault Martin authored 1 month ago and Virgile Prevosto committed 1 month ago
  
  1eca97f3
- [kernel] Adds a cram test of the log truncation of very long messages. · 95ae4335
  David Bühler authored 1 month ago
  
  95ae4335
Jan 31, 2025
- [kernel] Use a record for Cil_types.typ · 9108321d
  Thibault Martin authored 4 months ago
  
  Add a record with 2 fields : tnode and tattr
  9108321d
- [Kernel] Moves new option -cache-size in the kernel. · 047b1f38
  David Bühler authored 2 months ago
  
  047b1f38
- [Kernel] ignore unsupported attributes to avoid warnings · 89d2228e
  Andre Maroneze authored 2 months ago
  
  89d2228e
Jan 29, 2025
- [kernel] Add test for __builtin_types_compatible_p · 10615a72
  Basile Desloges authored 1 month ago
  
  10615a72
Jan 24, 2025
- [tests] disable cache for a few dune commands in cram tests · 2d35c023
  Allan Blanchard authored 1 month ago
  
  2d35c023
- [tests] use basic regex for filtering · ac4d5b48
  Virgile Prevosto authored 1 month ago
  
  ac4d5b48
- [Kernel] minor refactoring of Filepath pretty-printing · 22d4db64
  Andre Maroneze authored 1 month ago
  
  22d4db64
- [Kernel] slightly reformulate deferred error messages · e688280c
  Andre Maroneze authored 1 month ago
  
  e688280c
Jan 23, 2025
- [Eva] Update tests and test oracles · 72900f9e
  Basile Desloges authored 2 months ago
  
  72900f9e
Jan 22, 2025
- [Eva] Removes old test oracles. · 4baf7590
  David Bühler authored 2 months ago and Andre Maroneze committed 1 month ago
  
  4baf7590
- [Eva] Adds a test of a "clean" analysis stop when aborting with -save. · d0745437
  David Bühler authored 2 months ago and Andre Maroneze committed 1 month ago
  
  d0745437
- [Eva] In test uninit_callstack, prints stable hash callstack. · 6615ba64
  David Bühler authored 2 months ago and Andre Maroneze committed 1 month ago
  
  6615ba64
- [Eva] Adds test printing the offsetmap of a scalar variable. · 638c7d98
  David Bühler authored 2 months ago and Andre Maroneze committed 1 month ago
  
  638c7d98
- [Eva] Adds a test of printing domains states. · c4026863
  David Bühler authored 1 year ago and Andre Maroneze committed 1 month ago
  
  c4026863
- [Eva] Improves test of multiple domains at once. · 70bbfd97
  David Bühler authored 1 year ago and Andre Maroneze committed 1 month ago
  
  70bbfd97
- [Eva] Adds test of -eva-flamegraph. · 61253b7f
  David Bühler authored 1 year ago and Andre Maroneze committed 1 month ago
  
  61253b7f
- [Eva] Adds test of -eva-show-perf. · e4ae43c2
  David Bühler authored 1 year ago and Andre Maroneze committed 1 month ago
  
  e4ae43c2
Jan 17, 2025
- [Eva] improve Export test coverage · 86b05b4d
  Valentin Perrelle authored 3 months ago and David Bühler committed 2 months ago
  
  86b05b4d
- [Eva] rename emitter · 835fcdca
  Valentin Perrelle authored 3 months ago and David Bühler committed 2 months ago
  
  835fcdca
- [eva] improve test coverage · 431472c8
  Loïc Correnson authored 3 months ago and David Bühler committed 2 months ago
  
  431472c8
- [eva] depth-first collecting · e9a92cff
  Loïc Correnson authored 3 months ago and David Bühler committed 2 months ago
  
  e9a92cff
- [eva] refrain from annotating further unreachable statements · 0c3459c4
  Loïc Correnson authored 1 year ago and David Bühler committed 2 months ago
  
  0c3459c4
- [eva] annotate dead code · ff19ee73
  Loïc Correnson authored 1 year ago and David Bühler committed 2 months ago
  
  ff19ee73
- [eva] testing annotation generator · 1e2792ed
  Loïc Correnson authored 1 year ago and David Bühler committed 2 months ago
  
  1e2792ed
Jan 16, 2025
- [tests] ensures `user_directories.unix` cram test is stable across dune versions · 8b1208d4
  Virgile Prevosto authored 2 months ago
  
  8b1208d4
Jan 14, 2025
- [Eva] add dkeys for partitioning messages and wkey for recursion · 82c8bd8b
  Andre Maroneze authored 5 months ago and David Bühler committed 2 months ago
  
  82c8bd8b