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.02Jul128Jun272625242120191817107654330May2927242321171615141311632130Apr292625242322191817161512111098754[wp] changelogRemove a few more obsolete filesMerge branch 'feature/blanchard/doc/remove-frama-c-guy' into 'master'remove obsolete .gitignore files[doc] Replace .fig by .pdf, convert dot files to pdf directlyMerge branch 'feature/wp/why3/global-import' into 'master'[wp] fix decimal literal parsing[doc] remove the Frama-C guy[doc] fix slicing/pdg manuals compilation[wp] Changed temp_menv to menv for clarity[wp] Fix tbd[wp] Creation of empty environment[wp] Populated and print pf reverse tables, to be refactored[wp] Populated lists of logic/type for each module encountered[wp] proof of concept of adding module linked logic_info to global, to be refactored[wp] Populated module envs paths[wp] Added why3module definition for module-scoped envs[wp] Fixed module local env[wp] Added global env with creation and add to reverse table[wp] Reworked global env as a record[wp] Benchmarked global env on built-in types, added type for reverse type/logic lookup[wp] Added global env typeMerge branch 'jan/eacsl-fix-typing' into 'master'Merge branch 'fix/headache/xml-valid-headers' into 'master'[headache] fix configuration for .xml header generationMerge branch 'fix/buffercontroller' into 'master'Merge branch 'fix/ivette/rejected-request' into 'master'Merge branch 'fix/eva/offsetmap' into 'master'[ivette] useBuffer : consider the field unchaged if the new value returns to the reset value[ivette] fix bufferController notifyMerge branch 'fix/andre/creduce-options' into 'master'[dev] enable passing options to creduce scriptMerge branch 'fix/server/state-builder-hook' into 'master'[Server] States: fixes use of signal hooks from state_builder.Merge branch 'feature/ivette/field/rl' into 'master'Merge branch 'master' into feature/ivette/field/rl[Eva] Offsetmaps: adds comment to [update_itv] when the write is not exact.[Eva] Improves precision of memset builtin.[Eva] Fixes soundness bug in offsetmaps.[Eva] Adds a test of the memset builtin applied to a weak base.