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.014Feb1312111076543131Jan302928272423222120171615141310987620Dec191817161312111096543229Nov2827252221201513128765431Oct2825181615141098[doc] mention __fc_gcc_builtin_macros.h in userman[Libc] add double-inclusion guards[Libc] add comment about commented-out macros[Libc] add header to improve compatibility with GCC builtinsforward enum declaration now accepted only in gcc-machdepslintfix post-rebase[typing] do not accept enum <-> int conversion when redefining typedefs[typing] allow redefinition of typedef'd enum like gcc (see pub/frama-c#2681)[tests] avoid empty oracle[Kernel] Add warnings for forward declarations of enums and testsMerge branch 'fix/kernel/acsl_parsing_failure' into 'master'Changelog for !4908fix erroneous migrationtype_of_pointed and type_of_array_elem return sets when the src type is a setensure the size of an ACSL array evaluates to a constantBetter documentation[Kernel] Proper odoc maths in linear_filter[Kernel] DocumentationMerge branch 'feature/ivette/tree' into 'master'Merge branch 'fix/blanchard/wp/factory-ref-usage' into 'master'[wp] fix factory ref-usagemigrate two more files from Logic_typing to Logic_utilsprepare 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'
Loading