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.03Nov229Oct28272625222120191815141312118765430Sep292824232120171615141310976321[ivette] Show a status message when failing to open the external editor.[ivette] Preferences: adds a title explaining the external editor command.[ivette] SourceCode: opens the external editor at the selected character.[ivette] For the linter[ivette] First steps for external code editionMerge branch 'feature/andre/libc-stdatomic' into 'stable/chromium'[libc] add experimental support for <stdatomic.h>[Cabs2cil] fix spurious warning with valid volatile-related call[tests] simplification in the writting of test_config file[server] getInformations update signal[make] update distribution for Ivette[WP/tests] removing remaining -load-module[ivette] information filter[ivette] styling informations[ivette] fix typing for informations[ivette] rendering informations[server] Var marker informations[server] Type marker information[server] kernel.ast.getInformation request[server] fix documentation[server] register getInformations requests[server] print stmt infos without annots[ivette/informations] simplify the model[ivette] put settings on Globals[dome] fixed spurious settings resets[ivette] fix small issues on sidebars[ivette] fix marker-kind in Informations[ivette] fix selected style in Informations[ivette] synchronize the hovered marker[ivette] information selection & hover[ivette] update headers for frama-c utils[ivette] refactor informations selection[ivette] fold/unfold informations[ivette] ASTinfo as sidebar extension[ivette] frama-c text lightweight renderer[ivette] informations panel registry[ivette] default rank at root[dome] more efficient useEvent[tests] removing remaining load-module[tests] removing remaining load-module
Loading