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.029Mar2827262522212019181514131211987654129Feb2827262523222119161514131298652131Jan30292625242322212019181716151211Merge branch 'feature/eva/valid-string-reduction' into 'master'increased cooldown timeincreased cooldown timeMerge branch 'fix/frigory/gui/menu-align' into 'master'Update Changelog following !4474[Eva] test reduction by valid_wstring and valid_read_wstring[Eva] Reduction by \valid and \valid_read always remove indeterminate values.[Eva] Tests the reduction by ACSL predicates valid_string and valid_read_string.[Eva] Fixes reduction on the negation of ACSL predicate valid_string.[Eva] Eval_terms: shares code between functions reducing an exact location.[Eva] Eval_terms: reduces on valid_string and valid_read_string ACSL predicates.[Eva] Fixes test strchr.c.[Eva] Backward propagates reduction of builtins arguments.Merge branch 'feature/martin/kernel/add-stack-datatype-and-state-builder' into 'master'[gui] Fix menu item labels alignment[devman] minor changes in documentation of the new Current_locMerge branch 'fix/eva/evaluation-request' into 'master'[kernel] update to new Current_loc API following rebaseFixes after 4465Use new Current_loc API in scope/from/loop_analysis[doc] Update dev manualAdd headersSet log source in current_loc.mlCurrentLoc at toplevel, define with_loc(_opt) and let<?>Use let<> in WP when it is equivalent to the previous behaviorUse let<> instead of let*, add documentationAdd locs for Ctypes.constant and cfgInfos.computeGive a expr loc in plain_array_to_ptrFix aorai CurrentLocSet falls-through loc to the end of the functionRemove Cil.Currentloc, use Cil_const.CurrentLoc[kernel] Use let-binding to position and reset loc in CurrentlocMerge branch 'feature/blanchard/ivette-wp/contextual-menu' into 'master'[Eva] In Ivette, shows before/after values on statements with annotation.[wp] Extracted temp env creation into separate function[wp] Use of builtin iter function for debug output[Eva] Removes empty oracles.[ivette/wp] improve menus[ivette/wp] add menu for generating RTE guards[ivette] table for marker menu
Loading