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.013Sep1211109643231Aug30292826232219987652131Jul302927262524232219181716121110985432128Jun27262524212019181710765[Impact] Renames option -impact-pragma into -impact-annot.[sparecode] Removes unused impact pragma from test.[kernel] Removes old impact pragma (now replaced by an ACSL extension).[Impact] Uses an ACSL extension instead of impact pragma.Merge branch 'build/blanchard/ivette/generate-api-on-the-fly' into 'master'[ivette] remove check APIMerge branch 'fix/blanchard/ci/jq-yq' into 'master'Merge branch 'feature/blanchard/wp/numcores' into 'master'[nix] clean filesMerge branch 'fix/ivette/Graph' into 'master'[ivette] Graph : replace cycle option by a functionMerge branch 'fix/andre/test.sh-follow-symbolic-links' into 'master'[dev] allow bin/test.sh to work with symbolic linksMerge branch 'fix/andre/libc-uchar-coreutils' into 'master'[libc] minor change to help coreutils parsingMerge branch 'fix/kernel/pragma-pack-align' into 'master'[tests] add test for #pragma pack with gcc[kernel] Cabs2cil: fixes the alignement computation on packed directives.Merge branch 'feature/martin/test/pass-all-remaining-args-to-dune' into 'master'Merge branch 'feature/libc/compat' into 'master'[script] Display command line in verbose mode[script] Remove trivial dune options, use -- instead[script] Add option --, all following args are passed to dune[nix] add dependencies for internal testsMerge branch 'feature/libc/non-posix-additions' into 'master'[libc] add some C11, C23 and glibc headers/definitionsMerge branch 'fix/andre/switch-double-crash' into 'master'Merge branch 'fix/properties/hook' into 'master'[Ivette] fix camelCase error for new hooks[cabs2cil] avoid crash in syntactically invalid code, switch with a doubleMerge branch 'feature/ivette/graph' into 'master'Merge branch 'feature/andre/minimize-libc-outputs-in-tests' into 'master'[Ivette] Graph : color management[Ivette] Graph : add optionsMerge branch 'fix/ivette/evaform' into 'master'[ivette] EvaForm : fix cssMerge branch 'fix/analysis-scripts/update-build-for-blug' into 'master'Merge branch 'fix/andre/rm-unused-bin-scripts' into 'master'[wp] makes -wp-gen tests more deterministic[wp] -wp-par defaults to number of logical cores
Loading