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.07Nov65431Oct28251816151410987432130Sep27262524232019181716131211109643231Aug30292826232219987652version +devMerge branch 'feature/dev/set-version-script' into 'master'[release] Create 30.0 ChangelogMerge remote-tracking branch 'origin/stable/zinc'[e-acsl-ref] synchronize E-ACSL refman with ACSLMerge branch 'feature/blanchard/ivette/wp-ce' into 'master'[ci] add manual targets for ivette[wp/ivette] print CE models[release] update contributors list for 30.0Merge branch 'fix/jorge/1344-do-not-crash-on-empty-unions' into 'master'[install] provide a URL for downloading Ivette packagesMerge branch 'feature/martin/parser/allow-gcc-statement-attribute' into 'stable/zinc'Merge branch 'bdesloges/feature/libc-coreutils' into 'master'Update changelog[cil] Register GCC Label and Statement attribute[tests] Add a test for empty unions in MSVC machdep[cabs2cil] Fix wrong initializer check for MSVC[cabs2cil] Keep the crash (unreachable) unless in GCC/MSVC machdeps[doc] update devman w.r.t. max_align_t[kernel] fix printing of empty initializers for empty unions[tests] add test case for empty union with initializer[parser] Use modern syntax for Nop and labels[cabs2cil] accept empty unions with correct machdeps[libc] Update tests oracles[libc] Add mbsinit and mbrtowc[libc] Add more utmp.h defines[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
Loading