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.026Jul25212019171615131298765130Jun2827252423222118171615141110987432131May28262521201918171211107654330Apr292827262322[Eva] Updates test oracle.[Eva] Taint domain: registers acsl extensions "taint" and "taints".[Eva] Fixes test taint.c: taint annotations need to be placed after assignments.[Eva] Eva annotation: fixes the print of a list of terms in taint annotations.[Eva] Taint domain: interprets taint extension with the cvalue domain.[Eva] Taint domain: new builtin predicate \tainted.[Eva] Registers the taint domain in taint_domain.ml instead of abstractions.ml.[Eva] New function [interpret_acsl_extension] in abstract domains.Merge branch 'feature/eva/domains-complete' into 'master'Revert "[Distrib] Fix event titles"[wp] Fixes ChangelogMerge branch 'stable/vanadium'[opam] Fix opam file version23.1 stable/van…23.1 stable/vanadiumFrama-C 23.1-VanadiumMerge branch 'stable/vanadium' of git.frama-c.com:frama-c/frama-c into stable/vanadiumMerge branch 'bugfix/basile/eacsl-fix-megamerger' into 'stable/vanadium'Merge branch 'fix/andre/hdrck-cygwin' into 'master'[eacsl] Update changelog[eacsl] Handle `TLogic_coerce` in `context_sensitive_term_to_exp`[eacsl] Only catch E-ACSL exceptions in `Error.generic_handle`[eacsl] Remove assertion in `Label.get_stmt`[opam] opam repository fixes[Distrib] Remove fields when generating opam file[Distrib] Generate generic source for final release[Distrib] Fix event titles[Distrib] Fix API filename[hdrck] avoid diffs due to CR/LF differences in Cygwin[hdrck] avoid using Filename.concat (issues with Cygwin)Merge branch 'bugfix/basile/eacsl-172-translate-assert' into 'master'[Eva] Uses functor Domain_builder.Complete in the unit domain.[Eva] Uses functor Domain_builder.Complete in the equality domain.[Eva] Fixes typos in comments.[Eva] Updates alternative test oracles.[Eva] Sets domains names when building them in abstractions.ml.[Eva] Updates abstract domain documentation.[Eva] Domain_builder.Complete implements more functions.[Eva] Change Domain_builder.Complete signature.[Eva] Fixes domains names according to the -eva-domains option.[Eva] Replaces options -eva-[domain]-storage by new option -eva-no-results-domain.[Eva] Moves the module signature Abstract_domain.Store into domain_store.