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.027Mar262522212019181514131211987654129Feb2827262523222119161514131298652131Jan3029262524232221201918171615121110Merge branch 'feature/eva/deps' into 'master'[Eva] Minor changes in comments about renamed Assigns.t type.[Eva] Rename Froms to Assigns[Eva] Simplifies the datatype building[from] Fixes cache names in from_memory.[Eva] Minor aesthetic changes to froms.ml; fixes datatype names.[from] New file from_memory.ml for utilitary functions on Eva.Froms.Memory.t[Eva] Removes unused functions from module Froms.[Eva] Moves function_Froms in Eva.[Eva] Deps: exports function [pretty_precise].[Eva] use the new Deps module[Eva] add Deps to the public API[Eva] Integrate Function_froms.Deps into Eva.Deps[wp] Type env construction during theory import with debug pretty printing[wp] Cleaned code[wp] draft of ty converterMerge branch 'fix/kernel/1023-extension-acsl' into 'master'[kernel] cosmetic changesChangeLog[wp] rename wp_nullable_args ext[doc] Minor corrections in user manual and fix typosRefuse/Do not print new syntax for kernel extensionsAdd regexp variable for identifiers[doc] Add userman section on ACSL extension syntaxesUpdate acsl_extension docUpdate Extend test and oraclesUpdate test oraclesUse the new syntax for ACSL extension in testsNew syntax for ACSL extensionRegistering a new ACSL extension requires plugin's nameMerge branch 'fix/ivette/evaluation-mode-feedback' into 'master'Merge branch 'fix/doc/frama-c-book' into 'master'Merge branch 'fix/martin/kernel/remove-some-unknown-locations-in-parser' into 'master'[LaTeX] use proper command for TOC[wp] Extracting logic type info parameters from Tysymbol[wp] Location outputting of Why3 symbols[wp] Match for ty_node expected pattern with debug log[wp] Stub for creation of logic_type_info[wp] Mutually recursive function for logic_type and logic_type_info from CILMerge branch 'feature/wp/import-why3' into 'master'
Loading