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.08Jul7654130Jun2928272423222120171615141310987632131May30272524232019181716121110965[ci] cosmetic change[ci] add opam target[opam] update build instructions[ci] external plugins now use INSTALLDIR[Headache] adds a configuration for BibTeX files[ci] Shell checkers script[ci] add interruptible cancellation[ci] format[ci] adds a proxy for nix build commands[ci] add plugin checkers shell[headers] install configMove ptests and hdrck to toolsRename devel_tools: devMerge branch 'feature/dune/aorai-tests-ltl' into 'feature/dune/feedback'[Linting] Allows LINT_DIFF=<commit/branch> make <lint|check-xxx|fix-xxx>[Tests] restore tests/spec/result/preprocess_dos[Aorai] ltl tests are enabled if %{bin-available:ltl2ba}[Dune] lang 2.9 -> 3.0fixes warning-32[ptests] adds ENABLED_IF directivesMerge branch 'feature/bobot/jbuilder' into feature/dune/feedback[Linting] fixes .lint/check-clang-format-installed target[Aorai] enables ltl test suite[Aorai] tests/ltl - fixes missing deps[Script] bin/test.sh - minor change[Eva] ensure gen-api.sh compatibility with Bash <4 (macsOS)Merge remote-tracking branch 'origin/feature/dune/feedback' into feature/dune/feedback[dune] cleaning wp-cache instructionsMerge branch 'feature/bobot/jbuilder' into feature/dune/feedbackMerge remote-tracking branch 'origin/master' into feature/bobot/jbuilderMerge branch 'feature/dune/configure-simplification' into 'feature/bobot/jbuilder'[Script] bin/tests.sh - bugfix[Script] bin/tests.sh - adds option -s to save dune logs into a file[Script] bin/tests.sh - option -v gives more detailsfix version number in opam/opam25.0-r1 stable/…25.0-r1 stable/manganeseMerge branch 'feature/bobot/jbuilder' into feature/dune/feedback[Pdg] removes circularity due to postdominators[pdg] fix dependency to types[Pdg] removes circularity due to postdominatorsMerge branch 'feature/eva/api-callbacks' into 'master'pre-dunepre-dune
Loading