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.05May43229Apr2827262522212019151413121187654131Mar30292827262524232221181716151411[ci] simple eva-tests nix[nix] update mlgmpidl[dev] fix ref config script for opam 2.1; update versionsUpdates the Changelog for MR 3543.[Eva] Updates the Changelog.[Eva] Retroactively updates the Changelog for the new Eva API.Merge branch 'feature/wp/details-tacclear' into 'master'Merge branch 'feature/kernel/diff-ast' into 'master'[kernel] AST diff: do not update unnecessarily cmp env[kernel] AST diff: use existing function in Cil[docker] update opam deps for compatibility with reference config[doc] update reference configuration[kernel] AST diff: take care of case and default labels when comparing stmts[kernel] Ast_diff: compares case labels of corresponding statements.[kernel] Ast_diff: do not register formals of function without correspondance.[kernel] Ast_diff: uses the environment given in argument instead of empty_env.[kernel] AST diff: check also that case labels are in correspondance[kernel] Ast_diff: checks the type of corresponding global variables.[kernel] Ast_diff: fails on Code_annot that should not happen in normalized AST.[kernel] Ast_diff: uses List.find_opt to simplify the code.[kernel] AST diff, refactoring add_logic_prms -> add_logic_vars[kernel] AST diff: do not rely on TypByName for basic types[kernel] AST diff keeps better track of goto[kernel] Ast_diff: minor simplifications.[kernel] Ast_diff: removes debug print.[kernel] Ast_diff: minor esthetic changes.[kernel] Ast_diff: fixes a typo in a comparison function.[kernel] ast diff look for a kf only if varinfo has function type[kernel] Ast diff: fixes the computation of correspondances between logic_info.[kernel] Ast diff: fixes the comparison of binop terms.[kernel] Fix identification of enums in ast diff[kernel] use proper function to find matching compinfo in ast diff[kernel] ast diff can compare varinfos stemming from global functions[kernel] \exit_status is a special case for ast diff[kernel] add formals one by one in env of ast diff[kernel] put local variables one by one in env for AST diff[kernel] do not assume logic symbols are defined during ast diff[kernel] Fix ast diff computation for recursive logic type[kernel] fix ast-diff in case the AST needs some reordering2022 headers