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.030Oct29282524232221181714118743130Sep2726252423191817161312111096543230Aug29282726232221201965229Jul26252423Simplify list of input filesadd -mdr-title optioncoverage informationeva coverage, first versionFix version typoStart generation of coverage statisticsinfrastructure for inserting non-generated remarks in the reportFixes wrong usage of Globals.FileIndex.get_functionstart taking additional markdown into accountFix event formatting and Flamegraph caption.Add requirements and example to READMEAdd FlameGraph parameterFix markdown formatting issues[Doc] Fix output of -mdr-h[Fix] Downgrade to 4.04Preparing inclusion of handwritten remarkspreparing manual addition of remarks into the reportInitial version of markdown generator[Kernel] Fixes the help message of the deprecated option -warn-decimal-float.Merge branch 'fix/andre/libc-wchar' into 'master'Merge branch 'fix/andre/libc-wchar' into 'master'[wp/gui] use prover selection to run command[wp/gui] fix prover column displaysync with frama-c!2347[Libc] more fixes after review[Libc] fix libc spec: utimes; add test[libc] minor fixes following reviewupdate test oracles[Libc] fix/improve several specs in stdio.hupdate test oracles[Libc] fix several specificationsupdate test oracles[Libc] fix some specs in stdio.h[Libc] Fix specs in wchar.hMerge branch 'fix/server/configure' into 'master'[configure] automatic uppercasing of configure_pkg arg[fc-scripts] fix typo in exit code[wp] beautify list of proversMerge branch 'fix/eva/meta-option-precision' into 'master'[Eva] Adjusts the values of the meta option -eva-precision.