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.025Feb211917141312111076543131Jan302928272423222120171615141310987620Dec191817161312111096543229Nov28272522212015131287654[kernel] Remove Ast_types.pp_typ_ref[Logic] Move Logic_utils.unroll_logic_type[kernel] Close Machine[kernel] Close Ast_types[Kernel] format some declarations[Kernel] Move some duplicated functions out of Ast_info[Types] Rename/Shorten most of Ast_types functions[Region] Raise fatal if arraysize is none[Cil] Remove deprecated usages of cil functions[Cil] Move some typeOf functions from Cil[Cil] Remove deprecated usages of cil functions[Cil] Move checking type function out of cil[Cil] Remove deprecated uses of Cil functions[Kernel] New Ast_types modulesMerge branch 'feature/martin/doc/ocamlmig-in-dev-man' into 'master'[devman] Update changelog[devman] proof-read ocamlmig section[scripts] This is now handled by ocamlmig[devman] Add instructions to use OCamlmig for migration[Libc] add sys/poll.h -> poll.hMerge branch 'fix/blanchard/libc/string-axiomatic' into 'master'[tests] add test case for memcmp with empty base[instantiate] fix requires for libc functions with 0 blocks[kernel] update test oracles[libc] fix predicate valid_(read_)or_empty[Eva] Fixes ACSL \object_pointer semantics: null is excluded from definition.[wp] fix object_pointer semantics[kernel] fix object_pointer/valid_function alarmsMerge branch 'feature/andre/improvements-for-case-studies' into 'master'[tests] Update oracles[Cabs2cil] avoid repeated warnings about unknown attributes[Attributes] Remove AttrIgnored from type comparison[Kernel] add missing GCC builtins[Kernel] ignore some GCC attributes (from gettext, zstd)[Kernel] improve error messageMerge branch 'feature/andre/libc-fixes-and-assigns' into 'master'[ci] display selected cache commitMerge branch 'feature/kernel/bind-option' into 'master'[Kernel] Comment to warn about the reversed order of parameters compared to StdlibMerge branch 'fix/parameters/escape-comma' into 'master'
Loading