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.019Jul171615131298765130Jun2827252423222118171615141110987432131May28262521201918171211107654330Apr2928272623222120[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.Merge branch 'feature/kernel/interpreted-automata-backward-dataflow' into 'master'[eacsl] Update changelog[eacsl] Update tests[eacsl] Handle `TLogic_coerce` in `context_sensitive_term_to_exp`[Interpreted_automata] Comments the functors Forward and BackwardAnalysis.[Interpreted_automata] Simplify the analysis instanciation [Interpreted_automata] Functorize the analysis by the graph, so it can be reversed for free[Interpreted_automata] Use given wto for partial analysis or compute a suitable wto[Interpreted_automata] split forward and backward analysis into two functors[Interpreted_automata] Fix typo[Interpreted_automata] Fix spelling issues[Interpreted_automata] Correctly use dot output in test[Interpreted_automata] Output dataflow results to dot[Interpreted_automata] Fix test[Interpreted_automata] Do not keep intermediate results in the Dataflow analysis[Interpreted_automata] Add a basic interface to use the dataflow analysis results[Interpreted_automata] Fix a bug in the dataflow analysis when the widening point is not reachable at the first iteration[Interpreted_automata] Implements backward analysisMerge branch 'feature/eva/hptmap-shape' into 'master'Merge branch 'fix/andre/hdrck-ctrl-c' into 'master'Merge branch 'bugfix/basile/reraise-kernel-exception' into 'master'[eacsl] Update changelog[eacsl] Only catch E-ACSL exceptions in `Error.generic_handle`[Makefile] Uses option -rectypes for abstract_memory.[Eva] Fixes abstract_memory with respect to the new hptmap signature.Merge branch 'feature/andre/jcdb-build-commands' into 'master'[Kernel] add support of build databases to -json-compilation-database[hdrck] quit when Ctrl+C is pressedMerge branch 'bugfix/basile/eacsl-173-label-assert' into 'master'[eacsl] Update changelog[eacsl] Remove assertion in `Label.get_stmt`Merge branch 'bugfix/basile/gmp-variant-crash' into 'stable/vanadium'Update Changelog
Loading