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.011Jul765430Jun2726232120191615141312987652131May302823221716151211109543227Apr252421201918171413111087[e-acsl] define Analyses_datatype.Profile.pretty[tests] Ensure a stable number of source files in tests/fc_script/resultMerge branch 'fix/alias/issue1278' into 'master'update oracleschange the definition of nul_exp in simplified.mlMerge branch 'fix/andre/e-acsl-symbolic-links' into 'stable/cobalt'[e-acsl] remove unnecessary symbolic linksMerge branch '1270-erreur-avec-multiples-instances-d-ivette' into 'stable/cobalt'[ivette] associate closing events to the right windowMerge branch 'feature/eva/abstractions-register' into 'master'Merge branch 'fix/opam/install' into 'stable/cobalt'Merge branch 'feature/post_27/backport' into 'stable/cobalt'Merge branch 'fix/gui/toplevel-plugin-abort' into 'stable/cobalt'Merge branch 'fix/gui/printer-exception' into 'stable/cobalt'[release] fixes missing quote in release JSON[tests] fixes GCC command (undef warnings)[opam] fix release option in opam installation[Eva] More explicit names for domain dependencies[nix] update dependencies listmore robust test for machdep generation[machdep] test generation uses a more well-supported target for clang[machdep] more useful error msgs from make_machdep script[nix] pyaml is a required dependency for tests[wtests] In case of wrong exit status, also output custom logsdisable test when deps not metfix oracles[machdep] test for new fc-script command[machdep] install all machdep .c aux files together with probing script[machdep] provide new command in frama-c-script to launch make_machdep easily[machdep] new option in make_machdep.py for finding the schema[Eva] Abstractions: renames module type Value into Value_with_reduction.[Eva] Abstractions: do not export the type of Config.[Eva] Abstractions: better naming in function Location.add.[Eva] Abstractions: reverts a useless change of the folder type.[Eva] Abstractions: share implementation of [register] and [register_functor].[Eva] Minor changes to Abstractions.mli interface.[Eva] Abstractions.mli: exports the type of Config.t.[Eva] Greatly simplifies Abstractions.mli interface.[gui] Fixes GUI freeze when a plugin aborts after parsing succeeded.[kernel] Printer_tag: catches Not_found exception when calling Globals.Type.global
Loading