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.031Aug2827262524217654331Jul30292827262524232221201817161510987632130Jun2926252423222019[Ival] Improves the precision of bitwise operators on small sets.[ival] improve the precision of the computed small sets for bitwise operatorsremove obsoleted file frama-c.opamMerge branch 'fix/eva/doc-typos' into 'master'[dome] restore default settings[Eva] Fixes the automatic loop unrolling on loops with no counter increment.[dome] flex splitter layout[CilBuilder] Add pretty printing for expressions[CilBuilder] support for functions specification and a lot of logic contructions[CilBuilder] Add skip and pure expression building[CilBuilder] Allow the usage of locals when not building a new function[CilBuilder] Add assign and increment operators[CilBuilder] add cast, addrof and fix pointer arithmetic[CilBuilder] support more expressions[CilBuilder] add initialization support[CilBuilder] add ghost support[CilBuilder] improve the handling of statements and labels[CilBuilder] new module to help building Cil ASTMerge branch 'feature/basile/constructor-breakup' into 'master'[dome] TS splitters[ivette] tune default toolbar settings[dome] fix settings lifecycle[dome] dispatched item signalsFix dependency of Studia GUI to EVA GUI[dome] tsx for dome[dome] fix window setting events[eacsl] Remove TAB from changelog[eacsl] Update call sites of Constructor to use the new functions[eacsl] Breakup `Constructor` into smaller files[dune] install analysis-scripts files[eacsl] Fix file indentationsSome cleanup of the gitignoresdune conversion[dome] force error on missing exportsMerge branch 'fix/andre/ocp-indent-detect-dune' into 'master'sample program results passes Sarif 2.1.0 validationMerge branch 'feature/julien/new_project_initialization' into 'master'lint[sarif] continue upgrade to SARIF 2.1[sarif] on the road to sarif 2.1.0 migration
Loading