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.029Aug28252423109875432131Jul282725242120191817131211765430Jun2726232120191615141312987652131May302823221716151211109Encapsulate fidx[Dev] update Docker base images and use podman if available; add Makefile targetsUse Fun.protect Tests + Oracles[kernel] Correction mergecil fidxUpdate oraclesRewrite some error msg, review changes, parseInt now raise AbortMerge branch 'fix/nigron/kernel/1046-array-init' into 'master'[e-acsl] Create an exception to replace Cil.Not_representableCatch not-caught invalid_argument exceptionsDo not catch exn in to_cil_cabsUpdate script to catch errors instead of fatalsChange fatals into aborts in parserReplace some abort_context with Kernel.fatalReplace some Kernel.fatal with abort_contextcastTo: raise abort instead of fatal, fromsource in msgUse abort_context function instead of Kernel.abortadd sincerefactoring cabs2cilCorrection commentCorrection test + oracleComment test + Oracle[kernel] Refactoring cabs2cilPrecise extern local[kernel] Use Cil functionsCorrection existing test + oracleTests + OraclesStricker checking of array initializersTest + OracleRefactoring + Adjust pointer comparaisonUse Extlib.list_compareCorrection commentMerge branch 'fix/martin/kernel/rename-concat-chunk-operator' into 'master'Rename concat chunk operator (@@) by (@@@)Compare is a compareAdd testsCheck internal composants and not idTests to prevent #1287bugfix #1287Merge branch 'fix/ivette/table-column-render' into 'master'
Loading