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.028Nov2625242322211918171615141110843228Oct27262524212019181413121110754330Sep29282726222120191615141312987652131Aug302925242212111092129Jul[alias] We do not version results (only oracles)[doc] fix metrics figures[e-acsl/doc] Remove changebars[alias] added link to Ocamlgraph[alias] adding test directories[alias] mmodif TODO.txtFixes Changelog entry for Aoraï.Merge branch 'stable/iron'Fixes a minor typo in the main changes for the 26.0 release.26.026.0Updates version for the final release of Frama-C 26.0 (Iron).[Eva] Dune file: fixes the frama-c-configure rule for apron domains.Merge branch 'stable/iron'Merge branch 'fix/doc/polish-dune-devman' into 'stable/iron'[devman] fixes @maroneze remarks in !3999[Doc] devman: update initial sections[Kernel] remove outdated ocamldoc annotation[devman] document changes[devman] lablgtk2 is dead[book.cls] update dune listings definition[devman] AUCTeX-related variables[devman] fix code example layout[devman] clean up registration section[devman] comment obsolete documentation section[devman] comment landmarks section[devman] rely on ptests -help for macros documentation[devman] fix typo[devman] fix name of frama-clang package[devman] migration: installing additional files[devman] do not mention Makefile.headers, which is meant for internal use only[devman] migration should be handled from a pristine clone[alias] small modifications during the advancement point meetingMerge branch 'fix/eva/manual' into 'stable/iron'[Eva] User manual: improves the description of evaluations in the Results API.[doc] In the developer manual, uses the new Eva API instead of Db.Value.[Eva] User manual: slightly improves the paragraph about Ivette.[Doc] Eva manual: add paragraph about Ivette[Eva] User manual: rewrites the section about the Eva API.update .git-blame-ignore-revs[Eva] User manual: adds a subsection on the analysis coverage.[Eva] User manual: removes trailing spaces.