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.010Jan96543131Dec302928232120191816151413121198765432130Nov29282625242322211918171615141110843228Oct27262524212019181413121110754330Sep292827[alias] functions IPMerge branch 'feature/andre/analysis-scripts-add-types' into 'master'Merge branch 'fix/kernel/acsl-range-pp' into 'stable/iron'[alias] features.mdMerge branch 'feature/andre/e-acsl-test-fclose' into 'master'[printer] puts parentheses around ranges in ACSL function bodies[alias] functions still WIP[alias] functions WIP[alias] linter again[alias] temporary fix for function equalMerge branch 'fix/lint-printf-format' into 'master'[alias] bug in equal (infinite loop)[analysis-scripts] fix several typing errors and warnings[alias] still WIP[alias] still working on union bug[E-ACSL] add test for unpaired fopen[libc] improve POSIX and non-POSIX compatibility[printer] Fix term precedence in Plet as well as Tlet[Cabs2cil] remove GCC-specific 'malloc' attribute[Kernel] fix aligned attribute behavior on typedefs[analysis-scripts] add type annotations in Python scriptsimprove help message[alias] function find_basic_lval implemented, new errors detected[lint] use Format everywhere; add missing newlines[tests] update oracles[printer] use appropriate function for deciding whether parentheses are needed[printer] Fix precedence level for pretty-printing ACSL ranges.[dune] generates logic_parser.output for debugging ACSL parserpreparing test case for pub/frama-c#2639[alias] linter again[alias] adding functions for arithmetic operation analysis[alias] cast example[alias] API.ml WIP[alias] analysis.ml mostly done[alias] oracles[alias] update oracles[alias] still WIP[alias] linter[alias] changing oracles[alias] added tests
Loading