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.07Oct432130Sep27262524232019181716131211109643231Aug30292826232219987652131Jul3029272625242322191817161211109add missing headers[kernel] asm contracts generation before inline-stmt-contracts, update tests[kernel] ensure inline-stmt-contracts produce a correct AST[tests] prepare test for inline-stmt-contracts transformation[kernel] first draft or inline-stmt-contracts transformation[tests] add test for refined asm contract[kernel] first steps for refining asm contractsMerge branch 'feature/eva/modulo-alarms' into 'master'Merge branch 'fix/martin/ci/add-missing-internal-test-plugins' into 'master'Merge branch 'fix/blanchard/ivette/install' into 'master'Updates Changelog for MR !4809.[Eva] Adds one more test of alarms emitted on an invalid modulo operation.[Eva] Evaluation engine: refactors function [assume_valid_div].[wp] fix test related to missing RTE alarm[rte] fix missing alarm on modulo[Eva] Adds tests for the emission of overflow alarms on division and modulo.[Eva] Removes a run with RTE of the div.i test.[Eva] Evaluation engine: more precise alarms about division overflows.[Eva] Emits alarms on a%b when a/b overflows.[ci] Add Frama-Clang and Minimal to internal plugin testsMerge branch 'jan/eacsl-termid' into 'master'Merge branch 'feature/tests/include-deeper-tests-directories' into 'master'Merge branch 'fix/ivette/default-views' into 'master'[Ivette] Removes dead code from display.[Ivette] Fixes default view at first launch.Merge branch 'gcombette/binary_cache' into 'master'[tests] Include tests directory which may be deeply stored inside src/plugins[kernel] Do not use Obj in binary_cache.mlMerge branch 'fix/eva/high-priority-precondition' into 'master'Merge branch 'feature/blanchard/install/dirs' into 'master'[Eva] Fixes high priority / red status on preconditions.[ivette] make sure to generate API before install[wp] remove useless file[build] use glob_files when possible[build] install share using source_trees[libc] removed old filesMerge branch 'add-populate_spec-options-in-frama-c-s-man' into 'master'Merge branch 'feature/blanchard/wp/membytes-api' into 'master'[wp] make bytes model invisible in GUI[wp] bytes: use static_alloc
Loading