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.012Feb111076543131Jan302928272423222120171615141310987620Dec191817161312111096543229Nov2827252221201513128765431Oct2825181615141098prepare for use of ocamlmig to help with API renamings[Ivette] tree: changed unfoldall behavior + panel: Hbox around each child deleted[ivette] Panel : added panelTitle in Panel[Ivette] tree : correction[Ivette] Dome : added a component to display trees + test in sandboxMerge branch 'fix/eva/address-in-from-clauses' into 'master'move independent functions outside of mutual recursion[Eva] Adds test of the interpretation of "\from &g" clauses.[Eva] Fixes evaluation functions used by Inout and From on "\from &g" clauses.[Eva] Minor renaming in transfer_specification.[Eva] In the cvalue domain, adds comments to function [evaluate_from_clause].[Eva] Fixes interpretation of from clauses containing addresses.[acsl] migrate is_plain_pointer_type from Logic_typing to Logic_utils[Kernel] Adding test about fixed issue[Kernel] Fix ACSL parser failure on valid type expressions in arrays[Kernel] Removing a useless access to matrix dimensionsMerge branch 'fix/kernel/inline-functions' into 'master'[Kernel] Fixes inconsistent AST on inline functions (when not removed by rmtmps).Merge branch 'feature/martin/kernel/use-result-when-parsing-floats' into 'master'[Doc] Fix typo[Kernel] Keep opens for monads local to functions that use them[Kernel] Adding a get to vectors in [Linear][Kernel] Adding notations information on top of linear_filter.ml[Kernel] Better explanation in filters invariant computation[Kernel] Comments and reorganisation of finite.mli[Kernel] odoc in linear_filter.mli and doc in corresponding mlMerge branch 'jan/interlang' into 'master'[Kernel] Update arithmetic modules comments for odoc[Kernel] Typos and odoc[Kernel] Lint and details in comments[Kernel] Improved invariant computationMerge branch '1474-machdep-avec-chemin-relatif-et-load-depuis-un-autre-pwd' into 'master'add test case of fc-mopsa-like behavior[e-acsl] better variable naming in generated code[e-acsl] new compilation scheme via intermedia language[e-acsl] fix assigns clauses for Gmp values in run-time headers[e-acsl] simplify Translate_utils.comparison_to_exp[e-acsl] simplify signature in Gmp module[e-acsl] fix non-unique EIDs stemming from term lookup[e-acsl] Translate_terms: remove unused parameter
Loading