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.031Aug302925242212111092129Jul28272625222120191813121187654130Jun2928272423222120171615141310987Merge branch 'fix/kernel/array-dim-constant' into 'master'[tests] update oracle[typing] better handling of casts to boolean[typing] Use mkBinOp instead of failing to create well-typed BinOp node by hand[typing] small refactoring of debug messages for cast insertion[tests] prepare test case for fixing pub/frama-c#2623re-normalize testfix minor typosFRAMAC_WP_(QUALIF|CACHEDIR) must be set to an absolute pathname[aorai] fix handling of unlimited sequences[aorai] add debug category for typing automata[aorai] small clean up[aorai] test showing bug in handling of unlimited sequencesfixes GIT pre-commit hookfix indentation[Makefile] export WP cache-relates Makefile variables to commands[e-acsl:e-acsl-gcc.sh] document new option --then-last in the man page[e-acsl:e-acsl-gcc.sh] add new option --then-lastpromoting oracle[doc] add `@before` tags for modified functions[kernel] documentation for Ast_info functions related to integer constant expr[kernel] Fixes Ast_info.possible_value_of_integral_exprMerge branch 'feature/patrick/fixes-get-current-branch' into 'master'A fixe for Git versions < 2.22[opam] fix dune versionMerge branch 'feature/thibaut/function-with-struct-type' into 'master'[e-acsl] update changelog[e-acsl] better documentation[e-acsl] deprecate Rational.init_set[e-acsl] second review[e-acsl] update oracles[e-acsl] test for function returning rationals[e-acsl] add support for functions returning rationals[e-acsl] first review[e-acsl] improve support for functions returning structuresMerge branch 'feature/thibaut/type-recursive-predicates' into 'master'[e-acsl] update Changelog[e-acsl] second review[e-acsl] first review[e-acsl] add a test for recursive predicates
Loading