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.05Jul430Jun2726232120191615141312987652131May302823221716151211109543227Apr252421201918171413111087[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.globalMerge branch 'fix/eva/dynamic-alloc-convergence' into 'master'Merge branch 'fix/ivette/properties-fixed-column' into 'master'[Kernel] do not emit warnings-as-feedback when verbosity is 0Merge branch 'fix/andre/e-acsl-dev-tests-arch-amd64' into 'master'[e-acsl] properly disable tests, but not on amd64Merge branch 'feature/eva/locations' into 'master'[Eva] Slightly rewrites reduce product between cvalue and offsetmaps values.[Eva] Minor fixes in abstract locations product.[Eva] Minor change in abstract location interface: [to_value] may return bottom.[Eva] Shares implementation of [narrow_truth] between value and location product.[Eva] Minor fixes.[Eva] Linter[Eva] Apron reduced product[Eva] Comments in [Abstractions] module
Loading