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.016Feb15141310987632131Jan27262524232019181716151312111096543131Dec302928232120191816151413121198765432130Nov29282625242322211918171615141110843228Oct27[libc] add C stubs for some stdio functions[libc] add C stubs for socket functions and getopt[alias] supressing ANALYZING msgsMerge branch 'feature/kernel/robustify-external-parsing' into 'master'Merge branch 'feature/gui/type-tags' into 'master'[File] Ensures a rogue external parser won't lead to confusing error msg[Ivette] ASTinfo: fixes linting.[ivette] Replaces color code-hover-light by code-hover.[ivette] ASTinfo: fixes title of the pin/unpin button.[ivette] fix typo in css[ivette] prevents self-added toggled pin[ivette] inspector sizeof variable[ivette] inspector all types sizeof in bytes[ivette] better style for hovered inspector[ivette] added scope and fixed inspector clicks[ivette] fixed ASTview mouse events[server] fix Inspecter hovering state[ivette] fix typo in inspector filter[ivette] adapt style in inspector for light/dark mode[server] update tests[ivette] AST informations revamped[dome] icon & icon-button visibility & display[ivette] display type informations[server] replace PType with PGlobal[server] registering type markers[printer] less invasive type pretty-printer[kernel] Printer_tag add tags only to direct types[ivette] Richtext: fixes the [onMarker] property that was ignored.[server] Registers a marker information about the size of C types.WIP: [kernel] Printer_tag creates type markers. Also fixes a crash.[ivette] Updates server API and fixes Ivette for the new type marker.[Gui] use Printer_tag directly[Gui] Add PType tagMerge branch 'stable/iron'Fixes Changelog.26.1 stable/iron26.1 stable/ironMerge branch 'stable/iron'Main changes for the 26.1 Iron release.Updates version for the minor release of Frama-C 26.1 (Iron).Adds headers for the upcoming Frama-C 26.1 (Iron) release in Changelogs.Changelog for 26.1
Loading