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.017Jul131211765430Jun2726232120191615141312987652131May302823221716151211109543227Apr2524212019181714[Eva] Updates libc test oracles.[Eva] Updates alternative test oracles.[Eva] Updates test oracles.[Eva] Fixes a bug on goto statement skipping local variable declarations.[e-acsl] rename misleading variableMerge branch 'feature/eva/better-callstacks' into 'master'[Eva] Callstack: top_callsite returns a kinstr instead of a stmt option.[Eva] Callstack: renames [last_caller] to [top_caller].[Eva] Removes Value_types.Callstack.[dive] Removes use of Value_types.[from] Removes use of Value_types.[Eva] Uses the new callstack type in the GUI.[Eva] Eva_utils: slightly changes API to modify the current callstack.[Eva] Adds comments to the callstack.mli interface.[Eva] Removes some uses of legacy callstack.[Eva] Callstack: adds stable hash and pretty-printing functions.[Eva] Uses new callstack type in Eva_perf.[Eva] Always use Callstack.t type instead of redefining aliases.[Eva] Uses directly Callstack instead of Eva.Callstack in the GUI.[Eva] The allocation builtins use the new callstack type.[Eva] Small changes to the new Callstack interface.[Eva] Fixes the json conversion of callstacks in values requests.[Eva] The callstack type does not include global initializations.[Eva] Slightly changes API of domain store.[Eva] Update the Callstack interface for Mthread[Nonterm] Revert to lexicographical comparison between callstack[Eva] Generalize the callstack type to include global initialization[Eva] Use the new callstack type[Eva] add Callstack to Eva's API[Eva] New type for callstacks[tests] Much simpler approach to ensure test_machdep.i is always in test dir[wp] fix non-dry script sessionMerge branch 'jan/e-acsl/debug' into 'master'Merge branch 'jan/e-acsl/pretty' into 'master'[e-acsl] typing, translation: add some debug messages[wp] cache: include script digest into task digest[wp] rebuild old far tool long cache entries[machdep] avoid warnings when generating AVR machdeps[machdep] minor improvements to generator[ptests] fix warning msg generated for complex enabled_if conditions