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.023Jan22201716151413987626Dec212019181716131211109654229Nov282726252221201815141287654231Oct302928252423[Eva] Evaluation: renames low_context into fast_eval_context.[Eva] Evaluation: minor comment updates.[Eva] Adds a test of the subdivide annotation and of subdivision by function.[Eva] Renames partitioning_annots into eva_annotations.[Eva] Comments the optional argument [subdivnb] in the evaluation signature.[Eva] New "subdivide" annotation to override -eva-subdivide-non-linear option.[Eva] New option -eva-subdivide-non-linear-function.[Eva] Computes the maximum subdivision number in transfer_stmt.[Eva] Evaluation engine: the functions take the subdivisions number as argument.[Eva] Subdivided_evaluation takes the max number of subdivisions as argument.[Eva] Slightly changes the interface between subdivided and forward evaluations.[Eva] Evaluation: uses a record for the arguments of the forward evaluation.[Eva] Saves the set of functions replaced by a builtin for an analysis.[Eva] add typing checks for malloc builtins; fix some tests[e-acsl] Update test oracles.[Eva] Removes the deprecated option -val-warn-builtin-override.[Eva] Builtins: new function prepare_builtins called at the start of the analysis.[Eva] Register_builtin takes the type of the builtin as optional argument.Merge branch 'feature/ci/new-default-branch' into 'master'[release] Updates release doc: describes the command frama-ci-create-branch.[release] Updates release doc: creates branch stable/release by using frama-ci.[wp] cache updates[wp] frame conditions for compounds[wp] added test to show defectMerge branch 'fix/eva/need-cast' into 'master'Merge branch 'fix/virgile/no-pragma-in-oracles' into 'master'Merge branch 'fix/andre/libc-bts-2489' into 'master'[Eva] Fixes Eval_typ.need_cast on non-scalar types.[libc] Don't keep needless pragmas when cplusplus is not activated.Merge branch 'fix/andre/libc-strncpy-spec' into 'master'Merge branch 'feature/wp/remove-garbage' into 'master'Merge branch 'feature/andre/ptests-print-output-on-execnow-error' into 'master'[wp] remove unused theory dir[wp] move coq-doc resources to doc[wp] removed semantics dir[wp] fix unecessary int-power[wp] remove garbage files[ptests] try to print stdout/stderr when EXECNOW failsMerge branch 'feature/michele/specific-dir-on-filepath' into 'master'Add concat function for normalized filepaths.