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.010Mar765428Feb272625211917141312111076543131Jan302928272423222120171615141310987620Dec[Eva] Mthread: Remove unused builtins Frama_C_mthread_name_xxx()[Eva] Mthread: removes unused modules and functions from ThreadState.[Eva] Mthread: Propagate mthread files renaming[Eva] Mthread: Rename mthread files to follow Frama-C's conventions[Eva] Mthread: Standardize builtin names[Eva] Mthread: Use glob for files in share/mt[Eva] Fixes dune file: Mthread uses the same compilation flags as Eva.Removes references to the external plug-in Mthread.[Eva] Concurrency: changes an abort into fatal.[Eva] Mqueue: [reset_state] also clears the Identities table.[Eva] Concurrency: prefixes datatype names by Eva and fixes some typos.[Eva] Mthread: removes unused functions from mtLib, mtOutputs, mtCil and mtUtils.[Eva] Mthread: removes dead code from mtIds.Merge branch 'feature/bdesloges/eva/mthread-interrupts' into 'feature/eva/mthread2'[Eva] Mthread: Update test and oracles[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
Loading