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.08Oct7432130Sep27262524232019181716131211109643231Aug30292826232219987652131Jul3029272625242322[wp] Added sort of functions parameters and return type in driver import[wp] Fixed type import to driver, removed unused pretty printer[wp] add builtin-types[wp] add builtin-types[wp] register extension once[wp] Type import into WP driver[wp] Import of logic/types symbols into WP driver[wp] dedicated constructors for imported symbols[wp] Added caching pattern to import_theory[wp] Removed error throwing[wp] Linting[wp] Importing logic_info and logic_type_info from parsed @import clauses[wp] global, projectified import env[wp] Fixed top level importer registration[wp] Top level module importer registration[wp] Registering module importer[wp] Fixed location storage[wp] Maps for CIL locations of logic type and logic info[wp] Conversion of Why3.Loc to Cil_types.Location[doc] Specify which error is kept if both arguments are (Error e)[Kernel] Add a module in lib/utils for Result monadic operatorsMerge branch 'feature/blanchard/kernel/boolean-logic-type' into 'master'Merge branch 'feature/blanchard/ci/distrib-ivette' into 'master'Changelog[doc] update release manual[release] add Ivette packages[ci] build Ivette packages[ivette] no version for Ivette binariesUse appropriate `printf` conversion for `bool`[doc] API + typo[wp] update oracles[e-acsl] update error message in oracle[kernel] introduce boolen logic typesUpdate Changelog following !4738Merge branch 'feature/kernel/asm-initialized' into 'master'Merge branch 'fix/kernel/multiple-static-def' into 'master'[tests] oracle for static inline w/o aggressive merging[link] do not attempt to store info for aggressive merging if flag is unset[tests] add test cases for issue #1448Merge branch 'feature/ivette/callgraph' into 'master'
Loading