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.07Sep432131Aug2827262524217654331Jul30292827262524232221201817161510987632130Jun2926252423[wp] Hypotheses: fixes assigned via pointer[wp] Option: insert model hypotheses in contracts[wp] Avoid separation hypotheses duplication[wp] Generate ACSL predicates for model hypotheses[wp] Changes hypotheses signature[wp] Collect assigns separation hypotheses[wp] Moves VarUsage hypotheses computation to MemVar[tests] update test case for generalized check[wp] start supporting generalized check[dome] text fields[Eva] Removes state_import.ml and options -eva-[save|load]-fun-state.[Eva] hide experimental and deprecated options[Eva] constrain ranges and values for several options[tests] Update WP tests READMEMerge branch 'feature/eva/deprecated-aliases' into 'master'[dome] state-based form management[tests] fix wp-qualif ml script[tests] update Aorai oracles[tests] add test for generalized check[printer] printer for generalized check[Eva] Uses the deprecated alias -slevel in test value/summary.[Eva] Deprecates the legacy aliases of Eva parameters.[cmdline] Supports invisible and deprecated aliases for command line parameters.indentation[lexer] tentative logic lexer hack for introducing generalized check[parser] prepare parser for generalized 'check' keywordMerge branch 'feature/fix_ci2' into 'master'[dome] generic form fields[CI] Try to remove frama_c_clang from internal[dome] form sections[dome] introduce useFlipSettings helper[dome] introducing monitorsIn tests, uses the current Eva parameters name instead of legacy aliases.[dome] form categories[dome] form warnings[dome] hook-based typed forms[Eva] Removes deprecated and invisible parameters.[tests] update test scripts with new API[kernel] add support in the AST to identify check-and-forget annotations[dome] port dispatch to TS
Loading