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.017Jan1615141310987620Dec191817161312111096543229Nov2827252221201513128765431Oct28251816151410987432130Sep27262524232019181716[eva] depth-first collecting[eva] better domain definition[eva] fix invalid arg[eva] fix NaN with empty range[eva] use fold-result[eva] refactor collector[eva] singleton visitors[eva] fix main extend[eva] fix cil-builder restyp[eva] renamed annot into export[dev] fix headers[eva] refrain from annotating further unreachable statements[eva] annotate dead code[eva] warning for non-analyzed functions[eva] fix sparse sets & unspecified seq.[eva] use frama-c visitors[eva] testing annotation generator[eva] fix small sets annotation[cil/builder] promote lval and exp to logic[eva] compute annotations[eva] named annotations[eva] annotation generator API & doc[eva] annotation generator[eva] annotation generator module[Kernel] Fix an error in based on map required properties[Kernel] Typos[Kernel] Some doc on compositionMerge branch 'feature/eva/gc-tuning' into 'master'Update changelog[kernel] Moves new parameter "-memory-footprint" in the kernel.[Eva] New parameter -eva-memory-footprint to configure the ocaml gc.[Eva] Fine-tuning of the Ocaml GC, tested on several analyses from OSCS.[Kernel] Lint[Kernel] Removing zip from Lattice_bounds[Kernel] Generic monads composition[scripts] git-replace.sh: Add script description[scripts] git-replace.sh: Remove unexisting hashesMerge branch 'feature/eva/engine-signature' into 'master'Merge branch 'update-headers-2025' into 'master'Update headers to 2025
Loading