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.09Sep87432131Aug2827262524217654331Jul30292827262524232221201817161510987632130Jun292625Merge branch 'fix/maliach/userman/fix-typo-command-line' into 'master'Merge branch 'fix/tests/python3' into 'master'[tests] conditionally disable tests requiring Python 3.6[Makefile] remove duplicate rule and fix typoMerge branch 'feature/thibault/mark_block_as_inlined' into 'master'Merge branch 'fix/andre/various-minor-fixes' into 'master'[Doc] add mention to SARIF output in userman[eva] factor identical cases in pattern-matchingUpdate ChangelogMerge branch 'feature/andre/print-cpp-commands' into 'master'[tests] test for new __fc_inlined__ attributeMark inlined block as such using __fc_inlinedCreate a new attribute __fc_inlinedMerge branch 'fix/frama-c-scripts/prefer-explicit-framac' into 'master'Merge branch 'fix/andre/sizeof-incomplete-type-msg' into 'master'[Markdown-report] fix typo in help message[scripts] prefer explicit FRAMAC variable over default frama-c in PATH[Kernel] document option -print-cpp-commands[Kernel] add test for -print-cpp-commands[Kernel] refactor file.ml and add option -print-cpp-commands[eva] rename argumentRecommend sourcing autocompletion with frama-c-config[Analysis-scripts] remove obsolete optionMerge branch 'fix/inout/callwise' into 'master'typo in command given in the manual[Inout] Completely remove option -inout-callwise, which is always active.[wp] don't put check-only loop invariants in hypotheses[eva] don't reduce check-only loop invariants[eva] don't reduce on a check ensures/requires[wp] do not put check requires in environment of other PO for caller[dome] number field[kernel] support for parsing/printing check of generalized invariant[wp] do not put 'check lemma' in environment.Updates the Changelog.Merge branch 'fix/eva/correctness-parameters' into 'master'Merge branch 'fix/andre/slicing-cmdline-crash' into 'master'Merge branch 'feature/blanchard/wp/hypotheses' into testMerge branch 'bugfix/wp/pub-issue-11' into test[wp] check requires are not put as hypothesis[wp] Clarifies some functions in MemoryContext
Loading