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.010Mar765428Feb272625211917141312111076543131Jan302928272423222120171615141310987620Dec19181716131211109[Eva] Mthread: Add default_is_bottomMerge branch 'feature/bdesloges/eva/mthread-interferences-recompute' into 'feature/eva/mthread2'[Eva] Mthread: Update test oracles[Eva] Mthread: Interf. trigger thread recompute[Eva] Mthread: Add add_last_analysis return status[Eva] Mthread: remove unnecessary Eva__Private[Eva] Mthread: reset thread and mutex identities[Eva] Fixes structure to allow restricting domains to functions with Mthread.[Eva] Mthread: fixes compilation of the gtk GUI.[Eva] Fixes crashes of the Mthread domain when mthread is not used.[Eva] Updates Mthread test oracles.[Eva] Mthread tests use -eva-verbose 0 by default.[Eva] Mthread domain: disables a warning when a key has not been registered.[Eva] Interference: changes a result into a debug message.[Eva] Mthread: ad hoc computation of concurrent writes[Eva] Mthread: add a test about interruptions[Eva] Mthread: computes and injects interferences only with the mthread domain.[Eva] Mthread: emit domain warning once[Eva] Mthread: print ThreadState details when the context of a thread grows[Eva] Mthread: reset the computed memory footprint on enter/leave[Eva] Mthread: fixes comparaison and hash of concurrency names of pointers.[Eva] Mthread: prints threads details on creation[Eva] Mthread: adds new mutexes and queues in the analysis_state.[Eva] Do nothing in the iterator when there is no interference to inject.[Eva] mthread: use default value when an object is not registered[Eva] mthread: fix thread start/suspend in domain[Eva] mthread: Unify mthread ids[Eva] mthread: add main thread to the initial state[Eva] mthread: use Callstack.t type in MtCfg[Eva] mthread: update test config[Eva] mthread: warnings display current location[Eva] mthread: create the interferences record after the first analysis[Eva] mthread: fix a crash[Eva] mthread: disable interferences injection when the analysis is single threaded[Eva] mthread: inject interferences[Eva] mthread: filter interferences by mutexes[Eva] mthread: basic interferences computation[Eva] Mthread: changes the print of callstacks.[Eva] Mthread: refers to the main thread by <main> instead of _main_.[Eva] Mthread: do not prefix most threads, mutexes and queues by '&'.