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.011Jan107654321Dec20171615141310987632130Nov2926252423221918171098543229Oct28272625222120191815Merge branch 'fix/eva/logic-crash' into 'master'[kernel] refine `LenOfArray` exception[Cabs2cil] avoid crash with overly large array initializersMerge branch 'feature/patrick/simplify-land-eq-mod' into 'master'[wp] Update tests oracles[WP] add a simplification rule related to bitwise operator landMerge branch 'fix/gui/project-names' into 'master'Merge branch 'feature/wp/gui/print-goal-id' into 'master'[gui] In the project menu, fixes project names containing the character '&'.[WP] add a test of the introduced rule[WP] add a simplification rule related to bitwise operator land[wp] Always display script name[wp] Print goal id and short id in proof script[wp] Removes legacy pidMerge branch 'feature/wp/variant-decreases' into 'master'Merge branch 'feature/wp/const-deps' into 'master'Merge branch 'bugfix/julien/reduction-description' into 'master'[Reduction] fix help messages[wp] Keep global const dependencies[wp] Warns on user defined variant relations[wp] Adds an hypothesis log (warning with key hypothesis)[wp] tests for decreases[wp] Support decreases clause[wp] Support relation based variant[wp] test tactic modmask[wp] New tactic Mod-Mask[wp] Allows to update checkbox label[gui] Allows to set checkbox label[WP] add a simplification rule related to bitwise operator landMerge branch 'feature/patrick/test-exec-from-result-dir' into 'master'Merge branch 'fix/andre/jcdb-issues' into 'master'Merge branch 'master' into feature/ivette/electron[tests] execution from result directories: oracle updates[E-ACSL] fixes tests/bts/issue-eacsl-145.c[Tests] fixes tests/syntax/cpp-command.c[ptests] executes tests from the result directories[ptests_config] uses absolute pathname for FRAMAC_PLUGIN and FRAMAC_PLUGIN_GUIMerge branch 'feature/patrick/dunable-tests' into 'master'[wp] ChangeLog[ptests] minor change
Loading