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.012Jan111096543131Dec302928232120191816151413121198765432130Nov29282625242322211918171615141110843228Oct27262524212019181413121110754330Sep[e-acsl] remove extra lines[e-acsl] refactor Gmp: rename Q.new_var_and_init (consistency w/ Z)[e-acsl] refactor Gmp: delete file gmp_gen.ml[e-acsl] refactor Gmp: move module Gmp_gen over to Gmp[e-acsl] refactor Gmp: move normalize_str in module Q[e-acsl] refactor Gmp: rename new_var_and_mpz_init[e-acsl] refactor Gmp: remove dependency of Env over Gmp[e-acsl] refactor Gmp: delete file Rational.ml[e-acsl] refactor Gmp: change signature of Q.cmp[e-acsl] refactor Gmp: add Z.cmp[e-acsl] refactor Gmp: move function Rational.cmp[e-acsl] refactor Gmp: add Z.binop[e-acsl] refactor Gmp: remove Rational.binop[e-acsl] refactor Gmp: create add_cast for type Z[e-acsl] refactor Gmp: move Rational.add_cast[e-acsl] refactor Gmp: move Rational.cast_to_z[e-acsl] refactor Gmp: remove Rational.name_arith_bop[e-acsl] refactor Gmp: move Gmp.name_of_mpz_arith_bop[e-acsl] refactor Gmp: move Rational.normalize_str[e-acsl] refactor Gmp: remove Rational.create[tests] fix oracle file name[make] avoid differences between macOS and Linux due to usage of 'echo -n'[Eva] Bitwise domain: checks that the right argument of shifts is positive.[Eva] Adds runs of bitwise tests on big-endian machdep: oracles are unchanged.[Eva] Adds empty lines to bitwise tests to minimize upcoming oracle changes.[Eva] Bitwise domain: fixes big-endian interpretation of shifts and casts.Merge branch '1198-messages-perdus-informations-manquantes-lors-de-changements-de-vue-pendant-une-analyse' into 'master'[Ivette] States: documents the default Frama-C project.[states] refactor states with global states[ivette] avoid synchronizing arrays for undefined project[dome] optional forced update on GlobalStates[ivette] fix documentation issuesMerge branch 'fix/andre/aligned-attribute-on-typedef' into 'master'[logic] accept \ghost attribute in types, notably castsMerge branch 'feature/patrick/framac-installdir' into 'master'[analysis-scripts] ensure compatibility with Python >=3.7[install] allows to use FRAMAC_INSTALLDIR when PREFIX is undefined[alias] functions IPMerge branch 'feature/andre/analysis-scripts-add-types' into 'master'Merge branch 'fix/kernel/acsl-range-pp' into 'stable/iron'
Loading