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.027Feb2625211917141312111076543131Jan302928272423222120171615141310987620Dec191817161312111096543229Nov28272522212015131287[Kernel] improve pretty printing of logic conditionalsMerge branch 'fix/virgile/makefile/purge-tests' into 'master'[makefile] quickfix following MR 4955[e-acsl] Interlang_trans: add debug messagesMerge branch 'feature/martin/kernel/remove-deprecated-populate-spec' into 'master'[wp] fix context on printSequent[ivette/wp] fix focus problem[kernel] Use alert to make sure nobody uses init_builtin_ref[kernel] Fix comments syntax[kernel] Fix the documentation[MdR] Use the newly added Filepath features[kernel] Use a more classic let binding name[kernel] Remove redundant functions[kernel] Remove intracated let operators for results[kernel] Fix and improve the documentation[kernel] Add more optional paramters to with_*[kernel] Use the newly added Filepath features[Eva] Use the newly added Filepath features[Dive] Use the newly added Filepath features[kernel] Add a file opening version raising exceptions[kernel] Add more operators to handle errors[kernel] Add optional parameters for file opening[kernel] Fix wrong type annotations[kernel] Improve comments[kernel] Add comment sabout exceptions handling[kernel] Add functions to deal with files with safe exception handling[kernel] Remove deprecated Machine.theMachine and machine type[kernel] Remove Annotations.populate_spec_refMerge branch 'fix/virgile/parsing/builtin-macros-usage' into 'master'Merge branch 'fix/andre/clean-wtests' into 'master'Merge branch 'feature/martin/cil/move-type-out-of-cil' into 'master'[Kernel] ignore 'omp' pragmas, without a syntax error[Kernel] regroup cpp-compliant-related warnings[cpp] protect __fc_builtin_macros and unconditional include from __fc_machdep[pp] ensure Format flushes the content of __fc_builtin_macros.h...[kernel] separate options for printing __fc_machdep.h and __fc_builtin_macros.h[machdep] include __fc_builtin_macros.h in __fc_machdep.h when not gccMode[cpp] builtin macros of current machdep are always definedUpdate changelog[types] Rename unroll functions
Loading