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.026Jul25222120191813121187654130Jun2928272423222120171615141310987632131May30272524232019[Tools] pre-commit hook: prints the unstaged file list.[Tools] pre-commit hook for gitMerge branch 'feature/tools/strict-headers' into 'master'[headers] fix Eva.header attribute[headers] strict headers by defaultMerge branch 'feature/kernel/alarms-seq' into 'master'Merge branch 'fix/andre/analysis-scripts-exec' into 'master'[analysis-scripts] avoid issues with non-executable scripts due to DuneMerge branch 'fix/ivette/restore-check-api-ci' into 'master'Merge branch 'feature/eva/complete-api' into 'master'[Eva] Documents the part of the Eva API that are for internal use only.[ci] restore check TS APIMerge branch 'feature/thibaut/interval-conditionals' into 'master'[e-acsl] update CHANGELOG[e-acsl] second review[e-acsl] first review[e-acsl] update oracles[e-acsl] improve precision in typing conditionals[Eva] Adds a space before colons in results.mli.Merge branch 'feature/thibaut/simplify-types' into 'master'[Eva] Update test oracles.[aorai] Uses Eva public API instead of Db.Value.[from] Removes now unused functions [find_deps_*_no_transitivity].[from] Uses the new Eva API instead of Db.Value.[from] Removes warnings on ignored recursive calls.[inout] Rewrites [specialize_state_on_call] with the new Eva API.[inout] Uses new Eva API instead of Db.Value.[inout] Removes warnings on ignored recursive calls.[Eva] Results: adds a request to allows evaluations in a given cvalue state.Merge branch 'feature/makefile-testing' into 'master'[Eva] Results: exports [as_precise_loc] and [as_precise_loc_result].[Eva] Results: exports [as_location] and [as_location_result].[Eva] Utils: new function to compute direct and indirect dependencies.[Eva] Results: uses Eva_utils instead of Register to compute dependencies.[e-acsl] second review[Eva] Utils: slightly improves the precision of [zone_of_expr].[Eva] Moves exported function [predicate_deps] in logic_inout.[Eva] Moves functions used by Inout to interpret assigns clauses in logic_inout.[Eva] Logic_inout: exports function [verify_assigns] in Eva.mli.[Eva] Renames file cvalue_specification into logic_inout.