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.027Sep26222120191615141312987652131Aug302925242212111092129Jul28272625222120191813121187654130Jun29282724232221201716[Doc] update parts of the devman w.r.t. DuneMerge branch 'fix/e-acsl-remove-empty-oracles' into 'master'[ptests] fixes EXECNOW with unconsumed BIN and without LOGMerge branch 'feature/patrick/ptests-adds-config-option' into 'master'[ptests] adds -config optionMerge branch 'feature/release/release-stable' into 'master'Fix version name in installation file.Merge branch 'feature/patrick/ptests-warns-on-disabled-conditions' into 'master'[tests] remove several empty oracles[e-acsl] remove empty oracles[release] apply some shellcheck suggestions[release] when beta, push the tag automatically[doc] no more make src-distrib[doc] update release manual[ci] small refacto[release] use API to generate the release[ci] fix opam pin[ci] add checks before publish or release[ci] use the Frama-CI bot deploy token[release] add GitHub to known-hosts[ci] factorize a few rules[release] produce release[doc] tgz -> tar.gz + generate hello[release] release builder[doc] provide direct files for (E)ACSL versions[ptests] using not expr[ptests] requires dune 3.2[ptests] adds missing doc about ENABLED_IF directiveMerge branch 'fix/ast-diff/forward-def-struct' into 'master'[Extlib] removed filter_out[Extlib] removed filter_map' (List.filter_map)[Extlib] removed filter_map (List.filter_map)[Extlib] removed filter_map_opt (List.filter_map)[Extlib] removed string_split[Extlib] removed try_finally (Fun.protect)[Extlib] removed mapi (List.mapi)[Extlib] removed iteri (List.iteri)[Extlib] removed xor[Extlib] removed opt_fold (Option.fold)[Extlib] removed swap (Fun.flip)