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.05Jun2131May302823221716151211109543227Apr2524212019181714131110876543[wp] better hints computation[wp/gui] display strategy hint ranking[wp] fixed doc[wp] allows redefinition on generators[wp] fix strategy printer[wp] doc typo[wp] document script mode[wp] normalizing tip,script and mode[wp] Fix Changelog[wp] test for strategies[dev] improved test script[wp] script mode[wp] rephrase interactive mode help[wp] improved script status output[wp] register extension once[wp] changelog updates[wp] document -wp-status[wp] document -wp-prop extension[wp] new registry[wp] fix typo[wp] replay stronger prover alternative[wp/gui] connecting strategies[wp/gui] strategies component[wp] proof strategy iterator[wp] strategy engine entry point[wp] export proof strategy module & loc[wp/gui] renamed auto-strategy panel[wp] parsing \default strategy[wp] fix things[wp] doc typos[wp] doc manual[wp] added lnot pattern[wp] added lsl and lsr patterns[wp] added land, lor and lxor patterns[wp] decompose clauses[wp] option -wp-strategy[wp] auto-goal selection in strategies[wp] prover resolution[wp/doc] reorganized wp manual[wp] new compute tactic
Loading