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.05Jul4130Jun2928272423222120171615141310987632131May3027252423201918171612111096543[Eva] Documents the public interface of cvalue_callbacks.[Eva] Updates alternative test oracles.[Eva] Updates test oracles.[from] Uses Eva.Cvalue_callbacks hooks instead of Db.Value.[inout] Uses Eva.Cvalue_callbacks hooks instead of Db.Value.[Eva] In the engine, applies the callbacks from Cvalue_callbacks.[Eva] New file cvalue_callbacks.Check share/Makefile.config available[pdg] fix dependency to types[Script] ./bin/tests.sh - fixes Usage[Script] ./bin/tests.sh - fixes pull[Script] ./bin/tests.sh - fixes SetEnv[Makefile] minor changesMerge branch 'feature/dune/tests-aorai-prove' into 'feature/dune/feedback'[Aorai] tests - factorize OPT directive (cont.)[Aorai] tests - factorize OPT directive[Ptests] 'STDOPT: options' defaults to 'STDOPT: +"options"'[Eva] In [call] type, the callstack includes the current call.Merge branch 'feature/dune/tests-wp-qualif' into 'feature/dune/feedback'[WP] tests - Adds explicit deps to WP cache env_var[Ptests] allows DEPS: env_var:FRAMAC_WP_CACHE[WP] tests - config.sh[Makefile] Cleaning share/Makefile.config.in[Makefile] Cleaning share/Makefile.common[Configure] Removes Fc_config.ocaml_wflagsMerge branch 'fix/update-version-numbers-post-release' into 'master'removes Makefile.in of plugins[Makefile] cleaning config.sed[Configure] Removes Fc_config.lablgtkMerge branch 'master' into feature/bobot/jbuilder[Stdlib] transitioning.ml.in -> transitioning.ml[Changelog] Removed Db.PdgMerge branch 'feature/andre/update-dockerfile-25' into 'master'Merge branch 'fix/kernel/const-fold-looping' into 'master'Merge branch 'feature/dune/small-refacto-tests' into 'feature/dune/feedback'[Makefile] testing - minor changes[Script] bin/tests.sh - counts *.{err,res}.log files[WP] tests: modifies DEPS using a joker[ptests] introduce PTESTS_USE_WP_CACHE[ptests] introduce PTEST_DEPS variable
Loading