Skip to content
Snippets Groups Projects
Select Git revision
  • feature/andre/choc-simplification-analysis-scripts
  • master default protected
  • stable/scandium
  • stable/titanium
  • stable/titanium-backport
  • 22.0+r2
  • 22.0+r1
  • 22.0
  • 22.0-beta
  • 2020-10-16
  • 21.1
  • 21.0
  • 21.0-beta
  • Vessedia-D3.5
  • 20.0
  • 19.1
  • 19.0
  • 18.0
18 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.03Feb2129Jan28272625222120191815141312118765423Dec2221181716151411109875432130Nov27262524232019181716141312[Eva] Do not record the logical status of "admit" predicates.[kernel] Admitted properties always have the Considered_valid status.[kernel] New predicate kind: Assert, Check or Admit.Merge branch 'feature/wp/smoke-unreachable' into 'master'[wp] Move some functions in CfgCalculus[wp] Partial refactoring of main compute procedure[wp] compute smoking tests for unreachables[wp] take into accounts unreachable in final count[wp] Prove main requires[wp] speed up doomed-dead[wp] fix corner cases for unreachability[wp] Add default behavior when it is missing[wp] Filter no_wp[wp] Fixes formals scope[Eva] Updates alternative test oracles.[Eva] Fixes the test empty_struct2.c for alternative ptest configurations.[wp] On empty for, select goal only for defaultMerge branch 'fix/logic/no-duplicate-axiomatics' into 'master'[wp] FIxes assigns handlingMerge branch 'feature/varidic/cleaning' into 'master'Merge branch 'feature/patrick/wp-fix-typo-in-test' into 'master'[Variadic] Simplify the detection of variadic callees[Variadic] Move Extends.Cil function to an apropriate location[Variadic] Remove unused functions in Extends[logic] Proper error when 2 axiomatics have the same name.[wp] Prove disjoint and complete[wp] update oracle & cache[wp] prove complete & disjoint in default modes[Variadic] Use Ocaml 4.08 List.filter_map[WP] fixes a typo in a test.[WP] fixes a typo in a test.[wp] complete & disjoint & side conditions[wp] Fix modes collection[wp] Filter proved properties[wp] Warn on missing RTE guards[wp] Use KFmap in cfgGenerator to minimize diffs[wp] fix precond selectionMerge branch 'feature/eva/widen-hints' into 'master'[wp] normalize bhv & prop & default behavior[wp] Fixes CfgAnnot post and assigns