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.027Jul262524232221201817161510987632130Jun292625242322201918171615131211update .gitignore for 'make doc' outputsMerge branch 'master' into feature/dome/code-mirror-tsMerge branch 'master' into 'feature/ivette/imprecision-graph'[ivette] Dive: change component name[ivette] Dive: recompute layout on layout engine change[ivette] Dive: fix typing[dive] fix callstack api[dive] fix scattered node exploration[ivette] Dive: do not forget to remove the 'give me more' vertex[dive] Do not explore several time the same node[dive] send information about roots in the graph[dive] offset exploration range by 1 to be more consistent[ivette] Dive: fix opacity transitions and simplify the animation mechanismMerge branch 'feature/ivette/values' into 'master'[ivette] Values panel: fixes the columns width.[ivette] Values panel: orders table rows according to the full callstacks.[Eva] Values request hides the consolidated value when there is only one callstack.[ivette] Dive: fix context menu and hide action[ivette] Dive: improves selection logic[ivette] Dive: fix a bug where two request would have been issued when clicking a single time on a node[Eva] Values request: evaluates lvalues using Eva.copy_lvalues.[ivette] Dive: layout the graph on refresh[ivette] Dive: prevents cytoscape to automatically select (and unselect) nodes.[ivette] Dive: do not recompute layout when no new nodes are present[ivette] Dive: rework selection logic[Dive] Fixes a zarith overflow when using cardinal_estimate with big sizes.[Dive] Sorts the list of writes statements for a node.[ivette] Dive: fixes the edge selection according to the write selection.[ivette] Dive: uses lodash.isEqual for an equality test between arrays.[ivette] States: new action MULTIPLE_CYCLE to cycle through a multiple selection.[ivette] Dive graphs: when clicking on a node, selects its writes locations.[ivette] Updates Dive request API.[dive] Minor changes to the json output of graphs.[server] Kernel_ast: adds a data for a pair kf * localizable.[dome] fix printTextWithTagsMerge branch 'feature/ivette/print-ast-libc' into 'master'[driver] enable libc printing[wp] Hypotheses: fixes assigned via pointerMerge branch 'master' into feature/dome/dome-ts[dive] improves layout animations
Loading