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.06Apr32131Mar30272625242320191817161312119643227Feb2625242120191817151413[Eva] Engine: do not reset the analyzer when a domain parameter is changed.[Eva] New option -eva-domains-function to enable domains on specific functions.[Eva] Domain_builder: new Restrict functor to enable a domain on given functions.[Eva] Fixes structure for ocaml 4.05.[Eva] Structure: adds a Void constructor for undescribed values of any type.[Eva] Structure: adds an Option constructor for optional values.[Eva] Abstract domains: changes the signature of [logic_assign].[Eva] In abstract domains, slightly changes the queries signature.Merge branch 'feature/doc/invalid-pointer' into 'master'[doc] normalize references to ISO C99[doc] typos[printer] fix logic float printing[libs] lint floating-point utils[Instantiate] Lint[Instantiate] Fixes stdlib builtins when frama-c libc is not hereUpdates the Changelog for MR !2309.Merge branch 'feature/andre/malloc-imprecise-weakest' into 'master'[Eva] Builtin: reverts an unused modification in function [calloc_abstract].[Eva] In the malloc test, tests that the base for the imprecise builtin is weak.[Eva] Renames allocation builtins *_imprecise_weakest into *_imprecise.[Eva] Imprecise builtins for alloca and vla_alloc do not return null.[Eva] Allocation builtin: minor improvement to the imprecise malloc builtin.[Eva] Fixes a warning warning message.[Eva] very imprecise (but fast) builtins for memory allocation[Instantiate] Global_vars renamed Global_contextMerge branch '837-wp-missing-opening-scope-on-goto' into 'master'Merge branch 'fix/eva/doc' into 'master'[doc] Minor fixes after review[Eva] Fixes the user manuel: Eva warns on indeterminate copies by default.[rte] Doc: fixes the default value of option -warn-special-float.[rte] Documents new option -warn-invalid-pointer and -warn-pointer-downcast.[Eva] Documents new option -warn-invalid-pointer and -warn-pointer-downcast.[Kernel] Documents new options -warn-invalid-pointer and -warn-pointer-downcast.[logic-interp] avoid creating non-supported long-double ops[eacsl:test] Update test oraclesMerge branch 'bugfix/basile/misc-doc-fixes' into 'master'[eacsl:doc] Update E-ACSL reference manual[doc] Fix module path to mkCompInfo and copyCompInfo in doc comment[eacsl:doc] Fix tab in Changelog[eacsl:doc] Fix paths for doxygen generation
Loading