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.019Oct17151098543218Sep1064331Aug302928272322123Jul129654325Jun211514137625May425Apr2319131211109430Mar29281398752126Feb2221201615137630Jan2423221511820Dec181514131196528Nov2716151331Oct251918161514126Sep4124Aug10225Jul12101Jun16May26Apr212019141312107531Mar3029282724232221171098732128Feb27242017151426Jan252419954330Dec25161514987625Nov24232221171528Oct181714119327SepMerge branch 'feature/fonenantsoa/ranges-gmp' into 'master'Ranges on memory area of size in GMP[tests] update options against kernel changesMerge branch 'feature/patrick/multiple-header-spec-files-part2' into 'master'[headers] cut too long lines and replace tabs by spaces[Makefile] installation in internal/external compilation mode[Makefile] distribution in internal/external compilation mode[makefile] minor change[headers] makefile: removing EACSL_NOHEADER variable[headers] makefile: EACSL_NOHEADER becomes an empty list[headers] compilation mode:sync with frama-c/frama-c!1873Merge branch 'fix/eva/renaming' into 'master'Merge branch 'feature/julien/update-userman' into 'master'[userman] fix Chlorine's changes[userman] fixes according to Fonenantsoa' suggestions[userman] the RTL is not thread-safe[userman] replace section 'Limitations of E-ACSL Monitoring Libraries' by 'Supported Systems' + improved index[userman] changes[userman] highlight the importance of -e-acsl-prepare as suggested in issue #58[userman] little-endian[userman] the memory analysis is not robust[userman] improve introUpdates oracles: Value becomes Eva.[changelog] add one missing charMerge branch 'architecture/fonenantsoa/no_init' into 'master'Remove useless ?init from Env.Merge branch 'architecture/fonenantsoa/mmodel_translate' into 'master'Memory instrumentation moved in Mmodel_translate.Merge branch 'bugfix/fonenantsoa/bts2386' into 'master'Subtraction between pointers gives integer.Merge branch 'bugfix/fonenantsoa/issue55' into 'master'Addresses Julien's review on the doc:Changelog. Refman. Minor modif in test: unused lv.Addresses Julien's review no.5:add -eva-no-alloc-returns-null to gmp/test_configRefactor At.mk_storing_loops with Quantif.mk_for_loops.Addresses Julien's review no.3 (part 2/2) and no.4:Addresses Julien's review no.3 (part 1/2):Addresses Julien's review no.2: