Commits · 73ec4170af6c28458d1940bf74f09c38a24d12a5 · pub / frama-c · GitLab

Snippets Groups Projects

Jul 29, 2024
- [kernel] Add other type constructors in Cil_const · 73ec4170
  Thibault Martin authored 8 months ago
  
  73ec4170
Jul 27, 2024
- Merge branch 'feature/region/fix-arrows' into 'master' · d7992ede
  Loïc Correnson authored 8 months ago
  
  [wp] fix region map display See merge request frama-c/frama-c!4693
  d7992ede
Jul 26, 2024
- Merge branch 'feature/libc/glibc-sysmacros' into 'master' · a5213046
  Andre Maroneze authored 8 months ago
  
  [libc] add non-POSIX, glibc-specific sys/sysmacros.h See merge request frama-c/frama-c!4697
  a5213046
- [libc] add non-POSIX, glibc-specific sys/sysmacros.h · 51d664ea
  Andre Maroneze authored 8 months ago
  
  51d664ea
- Merge branch 'feature/eva/apple-icon' into 'master' · 2b517576
  David Bühler authored 8 months ago
  
  [Ivette] add apple icon for Eva sidebar See merge request frama-c/frama-c!4694
  2b517576
- [region] fix array in ivette · 6723fe8c
  Loïc Correnson authored 8 months ago
  
  6723fe8c
- [Ivette] add apple icon for Eva sidebar · e1d6aa21
  Andre Maroneze authored 8 months ago and David Bühler committed 8 months ago
  
  e1d6aa21
- Merge branch 'feature/ivette/flamegraph' into 'master' · c43c0f78
  David Bühler authored 8 months ago
  
  [Ivette] add flamegraph component See merge request frama-c/frama-c!4554
  c43c0f78
- [Eva] Moves flamegraph request from values_request to general_requests. · 0c6c6bb2
  David Bühler authored 8 months ago
  
  0c6c6bb2
- [Eva] Reverts unnecessary changes in callstacks. · 9ca4e2d9
  David Bühler authored 8 months ago
  
  9ca4e2d9
- [Ivette] Eva flamegraph: new function for the info text about a node. · efe96a69
  David Bühler authored 8 months ago
  
  efe96a69
- [ivette] added module flamegraph · 1ac04020
  Remi Lazarini authored 11 months ago and David Bühler committed 8 months ago
  
  1ac04020
- [Eva] refactor flamegraph-related code · a32edf76
  Andre Maroneze authored 11 months ago and David Bühler committed 8 months ago
  
  a32edf76
- [Eva] always compute flamegraph information · be66cc65
  Andre Maroneze authored 11 months ago and David Bühler committed 8 months ago
  
  be66cc65
- [Eva] Adds flamegraph request. · 75b7e7a9
  David Bühler authored 8 months ago
  
  75b7e7a9
- [Eva] add datatype for flamegraph data · 532ce243
  Andre Maroneze authored 11 months ago and David Bühler committed 8 months ago
  
  532ce243
- Merge branch 'fix/andre/creduce-script' into 'master' · a131c462
  Andre Maroneze authored 8 months ago
  
  [analysis-scripts] fixes for creduce script See merge request frama-c/frama-c!4689
  a131c462
- [region] use smallest fields · 2f06485e
  Loïc Correnson authored 8 months ago
  
  2f06485e
Jul 25, 2024
- [region] pretty print field offsets · bee8c2f6
  Loïc Correnson authored 8 months ago
  
  bee8c2f6
- [wp] avoid warning 27 when Eva is disabled · c334e450
  Andre Maroneze authored 8 months ago
  
  c334e450
- [region] visualize current marker · 36d9d427
  Loïc Correnson authored 8 months ago
  
  36d9d427
- [region] fix arrow style in graph · 64ce3b86
  Loïc Correnson authored 8 months ago
  
  64ce3b86
Jul 24, 2024
- [analysis-scripts] apply shellcheck suggestions and a few more improvements · 2b82cd70
  Andre Maroneze authored 8 months ago
  
  2b82cd70
- [analysis-scripts] fixes for creduce script · 6fd8c1bc
  Andre Maroneze authored 8 months ago
  
  6fd8c1bc
Jul 23, 2024
- Merge branch 'feature/region/blobs' into 'master' · ed2a0b8c
  Loïc Correnson authored 8 months ago
  
  [region] fix blobs See merge request frama-c/frama-c!4687
  ed2a0b8c
- [region] cosmetics · 0c660440
  Loïc Correnson authored 8 months ago
  
  0c660440
- Merge branch 'fix/blanchard/ci/wp-cache-failure' into 'master' · 3901f23a
  Allan Blanchard authored 8 months ago
  
  [nix] fail when creating wp-cache fails Closes #1358 See merge request frama-c/frama-c!4688
  3901f23a
- Merge branch 'fix/ivette/larger-bullets' into 'master' · cd816fc4
  Maxime Jacquemin authored 8 months ago
  
  [Ivette] increase gutter bullets size and improve contrast See merge request frama-c/frama-c!4622
  cd816fc4
- [nix] fail when creating wp-cache fails · d3db066f
  Allan Blanchard authored 8 months ago
  
  d3db066f
- [Ivette] Status bullets styles as CSS · 8a225f0a
  Maxime Jacquemin authored 8 months ago and Andre Maroneze committed 8 months ago
  
  Using CSS for status bullets styles allow to specifies colors based on the current theme. Also, it's ugly to write the style in the typescript code.
  8a225f0a
- Merge branch 'feature/studia/ivette-global-initializations' into 'master' · ec9f25cf
  David Bühler authored 8 months ago
  
  [Studia] Include global initializations in Ivette's results Closes #1416 See merge request frama-c/frama-c!4639
  ec9f25cf
- [Dive] Include global initializations in Ivette. · 7086061a
  David Bühler authored 8 months ago
  
  7086061a
- [region] added test for mixed comp-array · 55c360bb
  Loïc Correnson authored 8 months ago
  
  55c360bb
- [region] test renamed · b89dff90
  Loïc Correnson authored 8 months ago
  
  b89dff90
- [region] refactor array access · beb804c8
  Loïc Correnson authored 8 months ago
  
  beb804c8
- [region] stabilization of region counters · 5da15d1a
  Loïc Correnson authored 8 months ago
  
  5da15d1a
- [cil/utils] type & size of array types · f692ccac
  Loïc Correnson authored 8 months ago and Loïc Correnson committed 8 months ago
  
  f692ccac
- [region] fix division by zero in range maker · 50fe0b21
  Loïc Correnson authored 8 months ago
  
  50fe0b21
- [region] add test for blob region · 51530d7c
  Jérémy Damour authored 8 months ago and Loïc Correnson committed 8 months ago
  
  51530d7c
- [Studia] Include global initializations in Ivette's results · 331edb4f
  Valentin Perrelle authored 9 months ago and David Bühler committed 8 months ago
  
  Fix #1416
  331edb4f