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.027Aug262524217654331Jul30292827262524232221201817161510987632130Jun292625242322201918[Aorai] use MODULE directive in test[Aorai] improve error handling of invalid file options[Kernel] improve error message for invalid JCDB file[Eva] remove generated option -eva-no-builtins-list[e-acsl:changelog] move '.' (dot) at the end of sentences[e-acsl:changelog] fixed duplicated entriesUpdate nix/frama-ci.*Merge branch 'master' into feature/dome/dome-tsMerge branch 'feature/basile/eacsl-99-logical-arrays' into 'master'[eacsl] Update implementation manualMerge branch 'feature/dome/more-ts' into 'master'Merge branch 'master' into feature/dome/more-ts[kernel] lock only log listeners on rec[kernel] fix log recursion[kernel] log self recursion tests[kernel] linting log[ivette] please the linter (no mutable record fields, sic)[ivette] linter makefile targetsMerge branch 'fix/wp/why3-opt-error-msg' into 'master'[WP] fix exception raised by invalid option in -wp-why3-optMerge branch 'fix/andre/server-batch-json-error' into 'master'[CI] Fix internal[CI] Fix internal[Server] fail more gracefully with invalid JSON files[eacsl] Update changelog[eacsl] Add tests for the support of logic arrays[eacsl] Add support for logic arrays in `Translate.comparison_to_exp`[eacsl] Add a module supporting the translation of logic arrays to expressions[eacsl] Add a way to filter generated RTE annotations[eacsl] Create a function in Env to call an RTL function and store the result in a new variable[eacsl] Update code with calls to Constructor module[eacsl] Add constructor functions to manipulate expressions and statements[eacsl] Add a function to check if a type is any of the GMP typesMerge branch 'fix/andre/tests-fc-script' into 'master'[tests] Stabilize fc_script oracle when Frama-C is in the pathMerge branch 'feature/fix_ci2' into 'master'Try to update version used by frama-c-clang[CI] Fix frama-clang in internalUpdate nix/frama-ci.*Merge branch 'feature/frama-clang-ci' into 'master'
Loading