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.09Feb875432129Jan28272625222120191815141312118765423Dec222118171615141110987543[eacsl] Update bibtex entry for E-ACSL User ManualMerge branch 'fix/andre/file-cpp-minor-refactoring' into 'master'Update Changelog after !2952Merge branch 'feature/aorai/for-eva' into 'master'Merge branch 'feature/andre/fc-script-list-functions' into 'master'Feature/andre/fc script list functions[wp] (some) smoke fixes[aorai] update documentation for -aorai-smoke-tests[Kernel] remove obsolete semantic tags[tests] add extra check related to logic preprocessing[tests] add non-regression test for macro with % in cpp extra args[MdR] iterate over properties in fixed order for sarif output[kernel] propose alternative ordering for identified properties[kernel] Allow iterating over Properties in a fixed order[aorai] add smoke tests asserting that there's always an active state[aorai] add an explicit rejecting state for deterministic automata[aorai] moving back Error translation to initial guard in serial.ya[aorai] fix pretty-printing of intermediate file in Aorai_test[aorai] fixes assigns in test serial.c[aorai] update serial test to have more WP-friendly guards[aorai] do not propagate \result as a binding to caller functions...[aorai] update oracle[aorai] only move automaton for observable functions in dataflow[aorai] fix options of test serial.c in -config prove[aorai] update tests and oracles after rebase[aorai] document -aorai-instrumentation-history and Frama_C_aorai_show_state[make] share/libc/aorai is no more[aorai] remove unused function[aorai] update documentation following changes[aorai] remove now-unused -aorai-output-c-file option[aorai] add test case for save/load sequence[aorai] don't try to show Aorai_curState value for non-deterministic automaton[aorai] remove completely obsolete mechanism for generating C files[aorai] update test to check full behavior of Frama_C_show_aorai_state[kernel] do not put ghost attributes in logic types.[aorai] warns if an observable of the automaton is not defined (hence ignored).[aorai] fix comments[aorai] use abort and not fatal for user errors[variadic] avoid transforming function type of otherwise untouched builtins[variadic] translates __sync family
Loading