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.016Jan15141310987620Dec191817161312111096543229Nov2827252221201513128765431Oct28251816151410987432130Sep2726252423201918171613[Kernel] Cleaner documentations and bug fix[Kernel] Typos[Kernel] Typos[Kernel] Simplify [monad.mli] based on kernel team feedbacks[Eva] A correct rewritting of `eval_function_exp`[Kernel] Some details in comments[doc] Fix odoc bullets[Kernel] State and List monads[Kernel] Generic monad interfaceMerge branch 'fix/tests/stabilize-dune-oracle' into 'master'[tests] ensures `user_directories.unix` cram test is stable across dune versions[Eva] Adds comments to module type Engine_sig.Results.[Eva] Moves definition of module type Analysis.Results in Engine_sig.Merge branch 'feature/eva/engine-recursive-modules' into 'master'[Eva] Adds more comments to Engine_sig.[Eva] build the engine modules recursivelyMerge branch 'feature/eva/improve-messages' into 'master'[Eva] use proper printer for variable names[Eva] Minor simplification in [Compute_functions.compute_using_spec].[analysis-scripts] change workflow for recursion, defaulting to stricter mode[Eva] add dkeys for partitioning messages and wkey for recursion[Eva] use vorig_name in feedback to minimize noise due to Variadic renaming[analysis-scripts] stricter default handling of unsupported specifications[Eva] add some dkeys for malloc-related functionsMerge branch 'fix/ivette/compilation-verbosity' into 'master'Merge branch 'feature/ivette/properties/filter' into 'master'[Ivette] Makefile: avoids generating the server API twice.[Ivette] Fixes compilation verbosity.Merge branch 'feature/bdesloges/ci/frama-c-patch-shebangs' into 'master'[ci] Add patchShebang to frama-c.nix[Ivette] properties filter : removed scope from source + renamed libc to from_libc[server] Adds a libc column to the synchronized array of properties.[Ivette] Properties : added filter for libc[wp] fix chunk ordering bug[wp] fix init bug[wp] complete sigma refactoringMerge branch 'feature/andre/refactor-pp-dkeys' into 'master'[Kernel] standardize conditions for keeping temporary files[Kernel] rename 'parser' dkey as 'pp:keep-temp-files'[wp] mem-zero-alias to sigma-core
Loading