Commits · b70b8506a0cb676bfec8a53f522a550eafc7dd49 · pub / frama-c · GitLab

Snippets Groups Projects

Feb 14, 2025
- [kernel] do not drop function definitions · b70b8506
  Allan Blanchard authored 4 weeks ago
  
  b70b8506
- Merge branch 'ivette/sidebar/title' into 'master' · 6c50b413
  Remi Lazarini authored 4 weeks ago
  
  [Ivette] added about and credits in menu Help See merge request frama-c/frama-c!4899
  6c50b413
- [Ivette] Minor changes to the text of the About modal. · 08adad44
  David Bühler authored 4 weeks ago
  
  08adad44
- Merge branch 'feature/kernel/improving-filter-invariant' into 'master' · 922086e0
  Maxime Jacquemin authored 4 weeks ago
  
  Improved invariant computation See merge request frama-c/frama-c!4914
  922086e0
- [ivette] about and credit: changed logo and removed background color · a7eb9dfb
  Remi Lazarini authored 4 weeks ago
  
  a7eb9dfb
- [ivette] : only description is justify, authors selectable · 6afed44c
  Remi Lazarini authored 4 weeks ago
  
  6afed44c
- [Ivette] module for frama-c version removed from global.ts · a4f7680e
  Remi Lazarini authored 1 month ago
  
  a4f7680e
- [ivette] fix: sidebar title css · 347b8649
  Remi Lazarini authored 1 month ago
  
  347b8649
- [Ivette] Help menu frama-c: modify about and credit + learn more exist only if necessary · 529c3c5f
  Remi Lazarini authored 1 month ago
  
  529c3c5f
- [Ivette] Slightly changes the text of the About modal. · 1af08732
  David Bühler authored 1 month ago and Remi Lazarini committed 4 weeks ago
  
  1af08732
- [Ivette] Help modal uses version and codename from the getConfig request. · 4d6d491f
  David Bühler authored 1 month ago and Remi Lazarini committed 4 weeks ago
  
  4d6d491f
- [server] Adds codename to getConfig request. · 1d5cad7d
  David Bühler authored 1 month ago and Remi Lazarini committed 4 weeks ago
  
  1d5cad7d
- [Ivette] added about and credits in menu Help · f313d7a9
  Remi Lazarini authored 1 month ago
  
  f313d7a9
- Restore Changelog order and add entry for !4578 · 3dec035a
  Virgile Prevosto authored 4 weeks ago
  
  3dec035a
- Merge branch 'feature/libc/gcc-builtins-via-macros' into 'master' · 776b5e86
  Andre Maroneze authored 4 weeks ago
  
  [Libc] add header to improve compatibility with GCC builtins See merge request frama-c/frama-c!4930
  776b5e86
- Merge branch '1348-kernel-conflicting-types-error-for-enum-typedef-enum' into 'master' · 048d9a67
  Virgile Prevosto authored 4 weeks ago
  
  Resolve "[kernel] Conflicting types error for enum & typedef enum" Closes #1348 See merge request frama-c/frama-c!4578
  048d9a67
- update Changelog · 921f63ef
  Andre Maroneze authored 4 weeks ago
  
  921f63ef
- simplify path to __fc_gcc_builtin_macros.h · 22d0b103
  Andre Maroneze authored 1 month ago
  
  22d0b103
- [doc] mention __fc_gcc_builtin_macros.h in userman · 8cabf8e7
  Andre Maroneze authored 1 month ago
  
  8cabf8e7
- [Libc] add double-inclusion guards · 89cbf739
  Andre Maroneze authored 1 month ago
  
  89cbf739
- [Libc] add comment about commented-out macros · ef03df32
  Andre Maroneze authored 1 month ago
  
  ef03df32
- [Libc] add header to improve compatibility with GCC builtins · 4a1c61af
  Andre Maroneze authored 1 month ago
  
  4a1c61af
- forward enum declaration now accepted only in gcc-machdeps · 5305d3b1
  Virgile Prevosto authored 1 month ago
  
  5305d3b1
- lint · ce2d1cc7
  Virgile Prevosto authored 1 month ago
  
  ce2d1cc7
- fix post-rebase · 4a70b014
  Virgile Prevosto authored 1 month ago
  
  4a70b014
- [typing] do not accept enum <-> int conversion when redefining typedefs · bc0827df
  Virgile Prevosto authored 2 months ago
  
  bc0827df
- [typing] allow redefinition of typedef'd enum like gcc (see #2681 ) · 118d07a0
  Virgile Prevosto authored 2 months ago
  
  118d07a0
- [tests] avoid empty oracle · f897e7b3
  Virgile Prevosto authored 2 months ago
  
  f897e7b3
- [Kernel] Add warnings for forward declarations of enums and tests · b09129b4
  Christophe Junke authored 10 months ago and Virgile Prevosto committed 4 weeks ago
  
  b09129b4
Feb 13, 2025
- Merge branch 'fix/kernel/acsl_parsing_failure' into 'master' · 832bf50d
  Virgile Prevosto authored 1 month ago
  
  Fix ACSL parser failure on valid type expressions in arrays See merge request frama-c/frama-c!4908
  832bf50d
- Changelog for !4908 · dcc3c845
  Virgile Prevosto authored 1 month ago
  
  dcc3c845
- fix erroneous migration · 0a0a286e
  Virgile Prevosto authored 1 month ago
  
  0a0a286e
- type_of_pointed and type_of_array_elem return sets when the src type is a set · 216a1f7b
  Virgile Prevosto authored 1 month ago
  
  216a1f7b
- ensure the size of an ACSL array evaluates to a constant · 235966c7
  Virgile Prevosto authored 1 month ago
  
  235966c7
- Better documentation · 039611eb
  Virgile Prevosto authored 1 month ago
  
  039611eb
- [Kernel] Proper odoc maths in linear_filter · eeac767d
  Maxime Jacquemin authored 1 month ago
  
  eeac767d
- [Kernel] Documentation · 55e105ab
  Maxime Jacquemin authored 1 month ago
  
  Credit to Basile Desloges
  55e105ab
- Merge branch 'feature/ivette/tree' into 'master' · 23772802
  Remi Lazarini authored 1 month ago
  
  [Ivette] Dome : added a component to display trees + test in sandbox See merge request frama-c/frama-c!4828
  23772802
- Merge branch 'fix/blanchard/wp/factory-ref-usage' into 'master' · 948c39ac
  Allan Blanchard authored 1 month ago
  
  [wp] fix factory ref-usage Closes #1491 See merge request frama-c/frama-c!4939
  948c39ac
- [wp] fix factory ref-usage · 81168648
  Allan Blanchard authored 1 month ago
  
  - function pointers were not detected correctly - this resulted in meaningless clause for hypothese
  81168648