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.03May229Apr2827262522212019151413121187654131Mar3029282726252423222118171615141110987[kernel] start taking into account possible recursions when comparing ASTsfix indentation[kernel] ast-diff: correspondance between global vars[kernel] start comparing AST for filling correspondance tables[kernel] Preparing states for storing ast diffsMerge branch 'fix/ivette/learn-more-link' into 'master'update nix/{default,frama-ci}.nixMerge branch 'feature/nathan/wp-opti' of git.frama-c.com:frama-c/frama-c into feature/nathan/wp-opti[Qed] repeat let_intro_case simplification as much as possibleRevert "[Qed] in conjuction and e_imply: use a merge algorithm instead of List.sort_uniq"Revert "[qed] lint"[qed] lint[Qed] in conjuction and e_imply: use a merge algorithm instead of List.sort_uniq[Qed] Simplification in lc_close_xs on reversed lists[wp] optimization of Wp.Lang.p_close[qed] bug fixes[qed] optimization of Qed.Term.bind[qed] bug fixes[qed] bug fixes[qed] optimization of Qed.Term.bind_xs[Qed] repeat let_intro_case simplification as much as possibleMerge branch 'fix/wp/regression-on-cint-simpl' into 'master'[ivette] Do not specify the Learn More link in Dome[dome] WIP: the Learn More menu item points to the Frama-C website.[wp] Coherence between messages in Clear and UnfoldMerge branch 'fix/ivette/reload-command' into 'master'[ivette] insert command into history[wp] More detailed TacUnfold message[wp] display more info in TacClear[wp] Disable a Cint simplifierUpdate nix/frama-ci.*Merge branch 'fix/nix/easy-format' into 'master'[wp] Export a moduleFix easy format version to 1.3.2 Update nix/frama-ci.*[Eva] fix warning 50Merge branch 'fix/eva/tail-recursive-wto' into 'master'Revert "[Qed] in conjuction and e_imply: use a merge algorithm instead of List.sort_uniq"Revert "[qed] lint"Merge branch 'feature/nathan/wp-opti' of git.frama-c.com:frama-c/frama-c into feature/nathan/wp-opti
Loading