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.04Nov31Oct28251816151410987432130Sep27262524232019181716131211109643231Aug30292826232219987652131Jul[libc] Add euidaccess and faccessat[libc] Add timegm[libc] Add tm_gmtoff and tm_zone to struct tm[libc] Add secure_getenv[libc] Add mkostemp and mkostemps[libc] Add renameat and renameat2[libc] Add pthread_sigmask[libc] Add getgrouplist[libc] Add lchmod[libc] Add futimes, futimens and utimensat[libc] Add rawmemchr in string.h[kernel] Add max_align_t to machdeps[release] document Frama-Clang's ./bin/set-version.sh[release] Fix branch name in dune-project update instructions[tests] fix oracle[tests] Update statement attribute test[cabs] Add attributes in NOP statement for GCCMerge branch 'jan/eacsl-changelog' into 'stable/zinc'Fixes previous Changelog entries.Retroactively updates the Changelog for Ivette.Retroactively updates the Changelog for Eva.Merge branch 'feature/wp/region' into 'master'Merge branch 'master' into feature/wp/regionBump version numbersMerge branch 'feature/eva/intptr_t' into 'stable/zinc'[kernel] Unify is_intptr_t between RTE and Eva and define it in Cil[rte] do not emit assert on ptr to intptr_t conversion[Eva] Never emit alarms on pointer conversions to intptr_t or uintptr_t.[Eva] Adds tests of pointer conversion, including to intptr_t and uintptr_t.[Eva] Fixes alarms emitted on pointer conversions to intptr_t or uintptr_t.Reset default branchChange default branchMerge branch 'fix/blanchard/wp/general-variant-terminates' into 'master'[wp] do not generate assert false for present generalized variants[e-acsl] modify Changelog entry to avoid confusionMerge branch 'feature/andre/variadic-field-width' into 'master'Fix order of Changelog entriesMerge branch 'bdesloges/fix/compare-types-with-unknown-attrs' into 'master'[Changelog] announcing new warning from !4805[Variadic] Uses labeled arguments to avoid errors.