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][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.[ivette] ASTview: fixes the decoration of hovered markers.[Eva] Signals information has been updated when the computation state changes.[ivette] Minor simplifications.[ivette] Marker info: adds markerKind tags for variables and functions.[ivette] Renames the "Informations" panel as "Inspector".[ivette] Marker info: minor simplification of pinned markers.[ivette] Marker info: do not show the 'remove' and 'pin' buttons at the same time.[ivette] Richtext: fixes Text component.[Eva] Registers inferred cvalues as marker information for lvalues and expressions.[ivette] Marker info: a meta selection pins the selected marker.[ivette] Marker info: inlines the name of marker kinds.[ivette] Marker info: allows scrolling when information overflows the panel.[server] Adds optional argument [emable] to the registration of marker information.[server] Adds the location in marker informations.[server] Adds the type of the varinfo in a declaration marker information.[ivette/astinfo] simplified selection[ivette/astinfo] conforms to color mode[ivette/richtext] fix richtext buffer self-destruction[headers] fix headers[ivette/api] fix signal generation[ivette] AST informations[server] fix documentation
Loading