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.07Mar432128Feb25242322211817161514111098732131Jan28272625[wp] Move session directories[kernel] move comment about gcc builtins to JSON file and add comment on typesMerge branch 'feature/basile/eacsl-labels' into 'master'[compliance] add comments and references to hard-coded type list of GCC builtins[compliance] remove opening brace from test oracles[Kernel] split GCC builtins JSON file for performance reasons[Kernel] fix message about allowed machdeps[Kernel] avoid crash due to invalid variadic builtin usage[Kernel] improve message for absent compiler builtins[Kernel] move Cil_builtins declarations to JSON file and export as table[e-acsl] changelog[e-acsl] update tests[e-acsl] fix post-merge crashMerge branch 'feature/aorai/use-wp-cache' into 'master'[e-acsl] fixing comments[e-acsl] rename ExtLogicLabel.from to ExtLogicLabel.getfixup! [eacsl] Use the label analysis to translate `\at` valuesfixup! [eacsl] Create an analysis to compute translation location of labeled pred and termsfixup! [eacsl] Update test oraclesfixup! [eacsl] Use the label analysis to translate `\at` valuesfixup! [eacsl] Create an analysis to compute translation location of labeled pred and terms[eacsl] Update test oracles[eacsl] Add test cases for `\at` translation[eacsl] Use the label analysis to translate `\at` values[eacsl] Create an analysis to compute translation location of labeled pred and terms[eacsl] Update "with values" assertion message[eacsl] Update E_acsl_visitor to visit the AST in the same manner than the injector[eacsl] Move annotation_kind to Analyses_types[eacsl] Fix Lscope.compare[kernel] Better error messages for Cil.mkBinOp[Makfile] fixes syntax aspect: @name is a dune alias and not a dune target[aorai] fix bashism in Makefile[ci] actually use wp-cache for aorai-prove target[ci] use new make target in aorai-prove step[aorai] allows passing ptests option in -config prove mode + doc[aorai] allows setting verbosity level of WP in tests[aorai] ask WP to use env variables for cache behavior in tests[aorai] use global wp-cache for caching results[aorai] use WP cache in 'prove' ptest configuration[Makefile] adds tests.replay and tests.update-wp-cache targets
Loading