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.016Sep131211109643231Aug30292826232219987652131Jul302927262524232219181716121110985432128Jun272625242120191817[kernel/logic] fix module keyword wrt. ext spec[ivette] disable publish[kernel/logic] module and import declarations[kernel/logic] accept long identifiers as full-identifier[kernel/logic] test for module syntax[kernel/logic] introducing long ID in lexer[extlib] remove obsolete functionsMerge branch 'feature/kernel/remove-pragma' into 'master'Changelog[logic] remove more occurrences of pragmasRemoves references to removed pragma in some comments.[Slicing] Renames option -slice-pragma into -slice-annot.[Sparecode] Renames "select_slice_pragma" into "select_slice_annot".[kernel] Removes slice pragmas.In tests, uses slice ACSL extensions instead of slice pragma.[kernel] New ACSL extension slice_preserve_[stmt|ctrl|expr].[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 tests
Loading