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.024Jun23222120171615141310987632131May3027252423201918171612111096543229Apr2827Removes lines related to the PLUGIN_LIST and EXTERNAL_PLUGINS[ci] force yojson to 1.7.0[ci] downgrade ocamlfind[Tests] disable tests related to Apron[Tests] E-ACSL - ptests directive EXEC -> EXECNOW (same sematics with dune)Merge branch 'feature/patrick/dune-mac-os' into 'feature/bobot/jbuilder'[Makefile] conditional definition for MacOSchange 'xargs --null' -> 'xargs -0'Fix documentation cleaningRelease 25.025.025.0[kernel] Normalize also ill-formed types entries in TypSize cache[tests] more tests on array size cache[kernel] break ill-formed recursion between bitsSizeOf et constfoldMerge remote-tracking branch 'origin/master' into feature/bobot/jbuilderMerge branch 'feature/thibaut/eacsl-typing-linear' into 'master'Merge branch 'fix/ci/yojson-force-1-7-0' into 'master'Removes some TABs in share/Makefile.linting[ci] force yojson to 1.7.0Merge branch 'fix/andre/modernize-html' into 'master'Merge branch 'feature/ivette/specifications-folding' into 'master'[ivette] ASTview: new icons to fold/unfold all ACSL properties.[ivette] ASTview: fold/unfold only multi-line ACSL properties.[ivette] Unfolding everything by default[ivette] Specifications foldingClean share/Makefile.common about FRAMAC_SRC_DIRSMerge branch 'feature/patrick/lint-check-indent-for-c' into 'feature/bobot/jbuilder'[e-acsl] add oracle for dev test[e-acsl] update changelog[e-acsl] factor code[e-acsl] review[e-acsl] review[e-acsl] review[e-acsl] typing contexts for binary relations[e-acsl] fourth review[e-acsl] update oracles[e-acsl] translation preserve C types[e-acsl] typing specific types moved to analyses_types[e-acsl] third review[e-acsl] refactor types for interval and typing[e-acsl] first review
Loading