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.03Nov31Oct30272625242319181716151312111096543229Sep28272625232221201915141312118765Fix CI error caused by .png filesReplaced functions sidebar with new componentRemove script and use --tree for bisect html reportMerge branch 'bugfix/julien/userman-foreword' into 'master'[ci] add script for checking release[ci] fix hello tar gz compilation[release] event: remove minor for .0 versions[release] fix version name in installation fileMerge branch 'feature/blanchard/ci/simpl-constrains' into 'master'[ci] reorganizes schedules and release pipelines[dome/richtext] props renamed[dome/richtext] selection listenerMerge branch 'feature/eva/simplify-widen-hints' into 'master'Merge branch 'feature/dev/make-distrib-help' into 'master'Updates Changelog for MR !4259.[dome/richtext] diff incremental updates[ivette/sandbox] icons gallery[dome/richtext] text proxies & text buffers[dome] introduce Diff dependency[dome/richtext] text buffer persistency[dome/richtext] renamed & documented[dome/richtext] update events[dome/richtext] readonly[dome] debounced & protected callbacks[dome] rich text component draft[Eva] Offsetmap and lmap: [widen] takes hints as optional named arguments.[Eva] Fval: uses sets of float as widen_hint instead of logic_real.[Eva] Computes widening thresholds according to bases validity in Locations.[Eva] Changes the signature of the widening in most cvalue modules.[Eva] Uses Integer.Set instead of Ival.Widen_Hints in widen files.[Eva] Removes widening from lattice types.Merge branch 'merge-stable-nickel' into 'master'update version for dev branchMerge stable/nickel into master[release] add main changes for 28.028.0-beta28.0-beta[e-acsl/doc] on clean, remove eacslversionMerge branch 'feature/blanchard/ci/manuals' into 'master'[e-acsl/doc] fix Frama-C version[e-acsl] fix userman's foreword[e-acsl/doc] fix Frama-C version
Loading