Skip to content
Snippets Groups Projects
Select Git revision
  • 2699-wp-region-plugin-division-by-0-with-empty-region-node
  • master default protected
  • stable/chromium
  • stable/cobalt
  • stable/copper
  • stable/iron
  • stable/manganese
  • stable/nickel
  • stable/scandium
  • stable/titanium
  • stable/titanium-backport
  • stable/vanadium
  • stable/zinc
  • 30.0 protected
  • 30.0-beta protected
  • MIEL-2024-10 protected
  • 29.0 protected
  • 29.0-beta protected
  • 28.1 protected
  • 28.0 protected
  • MIEL-2023-10 protected
  • 28.0-beta protected
  • 27.1 protected
  • 27.0 protected
  • 27.0-beta protected
  • 26.1 protected
  • 26.0 protected
  • 26.0-beta protected
  • 25.0-r1 protected
  • pre-dune protected
  • 25.0 protected
  • 25.0-beta protected
  • 2022-03-23 protected
33 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.05Apr4131Mar3029282726252423222118171615141110987432128Feb2524232221181716[ivette] Horizontal scroll on ctrl+scroll[ivette] A good solution for callstacks scrolling[ivette][WIP] A first partial solution to the scrolling problem[ivette] Fixing a little performance issue[ivette] Adding cache to the probes evaluation function[ivette] Linter[ivette] Improving the general feeling of the values component[ivette] Add icons for control points in the values panel[ivette] Better handling of values display order[ivette] Handling unique callstack[ivette] Minor tweaks and fixes[Eva] Improves performance of values request by callstack.[ivette] Minor fixes[ivette] Some fixes[ivette] Cleaning Eva's CSS[ivette] Removing the old Eva component[ivette] New Eva component feels quite good[ivette] Linter[ivette] The component looks good[ivette] Several fixes[ivette][WIP] First version but...[ivette][WIP] Cleaner but still not working[ivette][WIP] Recreating the Eva componantMerge branch 'feature/patrick/dune-scripts' into 'feature/bobot/jbuilder'[tests] fc_script: adds deps and fixes a typo[tests] fc_script: the dependency to frama-c.analysis is implicit[ptests] removing deps generated twiceMerge branch 'feature/ivette/informations' into 'master'[Markdown-report] dune config infoMerge branch 'fix/andre/analysis-scripts-build-fixes' into 'master'[tests] fc_script: adds deps[tests] fixes LIBS pathname for fc_script suite[tests] fc_script: adds deps[frama-c-script] load frama-c.analysis-scripts library[dune] allows dune build share/analysis-scripts/analysis_scripts.cmxa[ptests] better management of extensions (such as .ml, .cmxs) in MODULE and LIBS directives[ptests] adds dependencies to MODULE and LIBS[ivette] ASTview: fixes marker hover when the mouse leaves the AST view.[ivette] ASTinfo: scrolls to the hovered marker info.[ivette] ASTinfo: fixes the dependency of a useEffect call.