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.014Oct13121110754330Sep29282726222120191615141312987652131Aug302925242212111092129Jul28272625222120191813121187654130Jun[wp] update test on dynamic calls following move to kernel[kernel] move @calls extension from WP to kernel[aorai] add test for function pointers[Dive] Improves the visitor collecting the lvalues of an expression.[Dive] Fixes a typo.[Eva] Int_interval: simplifies the [to_seq] functions.[Eva] Slightly improves the documentation of [to_seq] functions.[Dive] Avoids using Seq.take, removes it from transitioning.[Dive] Use sequences to ensure lazy evaluation of dependenciesMerge branch 'features/from/removing-db' into 'master'[Eva] Exports function Logic_inout.term_deps.[Eva] Defines Db.From.find_deps_no_transitivity functions.[From] Removes exported functions from Db.[from] Minor reorganization of the From.mli interface.[from] Do not export [find_deps_no_transitivity].[from] Renames force_compute_all_calldeps into compute_all_calldeps.[from] From does not register stuff in db anymoreMerge branch 'fix/dive/several-issues' into 'master'[Dive] Reduce argument list to formals length instead of catching List.iter2 exception[Dive] Fix a crash when computing dependencies in Frama_c_show_each calls[Dive] simpler and better range calculation[Ivette] dive: fix tips update[Ivette] dive: fix nodes range disapearing[Ivette] Dive: fix node widths[Ivette] Dive: update to tippy 6[Ivette] Dive: change the default layout[Ivette] Dive: set minimal and maximal zoom levelsMerge branch 'feature/aorai/cleanup' into 'master'Merge branch 'feature/michele/eva-optional-tests-on-eva-label' into 'master'[ci] add server documentation API to release[ci] generate server docMerge branch 'feature/ivette/json-decoders' into 'master'[ci] Respect gitlab regex syntax.[aorai] clean up comments from Promela/LTL references[ci] Use separate regex rules.[aorai] rename Promelaast and Promelaoutput since we don't use Promela anymore[ci] Use CI commit branch containing the word eva in a particular format.[aorai] remove unused files following suppression of ltl/promela lexers and parsers[aorai] remove support for LTL and PromelaMerge branch 'fix/eva/multidim-compare' into 'master'