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.010Mar765428Feb272625211917141312111076543131Jan302928272423222120171615141310987620Dec19181716[Eva] Mthread: Find a fixpoint when computing an interrupt handler[Eva] Mthread: Create and start interrupt handler threads[Eva] Mthread: Add new kind of thread for interrupt handlers[Eva] Mthread: Add option to register interrupt handlers[Eva] Mthread: Add widening for the interferences[Eva] Mthread: Use Set to record concurrent writes[Eva] Add Callstack.is_empty[Eva] Better state initialization when suppliedMerge branch 'feature/bdesloges/eva/mthread-result-monad' into 'feature/eva/mthread2'[Eva] Mthread: Use Frama-C's Monad to define MtUtils.ResultMerge branch 'feature/bdesloges/eva/mthread-sync-with-frama-c-monads' into 'feature/eva/mthread2'[Eva] Mthread: Add MtUtils.Result.Operators[Eva] Mthread: Use (void) instead of () in protosMerge branch 'feature/bdesloges/eva/mthread-test-cfg' into 'feature/eva/mthread2'[eva] mthread: Add CI support for fontconfig[eva] mthread: Create and log dot file in tests[Eva] Mthread: simplifies function append_file, used to concatenate dot files.[eva] mthread: Concatenate dot files[Eva] Mthread: Remove option -mt-keep-dot[eva] mthread: Add option -mt-concat-dot-files-toUpdate headers to 2025[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
Loading