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.018Mar171615141126Feb252422121110985329Jan27262019181514876528Dec2616151098746Nov29Oct21131Aug27262527Jul30Jun24195432128May2728Apr1719Mar116319Feb1729Jan2718Dec1716227Nov1227Oct1684Sep27Aug22875420Jul1916830Jun161021May20191624Apr28Mar2726252417161413725Feb2018628Jan10Dec5319Nov25Oct15326Sep2523201918171210654229Aug2887530Jul188426Jun25211830May28272423222117167630Apr26252423221918161210228Mar14137426Feb2221201984131Jan30252421189420Dec1918171413117530Nov29282726[Doxygen] Dixed spaces in project name[doxygen] Removed custom stylesheet s it is worse than the default one[doxygen] Fixed doxygen configuration to ignore function attributes[.gitignore] Added files and directories generated by doxygen[docs] Initial setup for building doxygen documentationMerge branch 'feature/kostyantyn/c-updates' into 'master' to handle argv, enough to check that the 2d argument of main is a pointer[Instrumentation engine] Improved handling of arguments to mainMerge branch 'feature/kostyantyn/c-updates' of git.frama-c.com:frama-c/e-acsl into feature/kostyantyn/c-updatesre-indent vfile[ADT RTL][ADT RTL] Small stylistic updates and improvementsMerge branch 'julien/bugfix/run_execnow_several_times' into 'master' [RTL] Reworked macros in e_acsl_bits.h header to be faster[RTL] Removed runction __init_argv from the API. Instead it is called[Changelog] Added a changelog entry regarding bugfixes in partial[Instrumentation engine] Fixed typo in visit.ml[RTL] Refactoring of realloc initialization[RTL] Refactoring functions dealing with initialization using bit-level[RTL] Integrated e_acsl_bits.h into ADT memory models[RTL] Added e_acsl_bits macro to provide common macros and functions for bit[Instrumentation engine] Indentation[Instrumentation engine] refactoring[RTL API] Changed assigned clauses in __e_acsl_memory_init and[ADT model] comments[ADT model] comments[tests] Improved test case initialized to cover a bug in partial[ADT model] Fixed a bug that caused initialized bit count be computed[tests] Additional assertions in the initialized test case[tests] Small improvements to the initialized test case[tests] Fixed a few typos in the initialized test case[tests] Small adjustment in offset test case[tests][e-acsl-gcc.sh] Functionality specify several models via -m option[tests] rename <bang>EXECNOW to EXECRebase against master branch[ADT Model] Fixed partial initialization[tests] Added test case for \block_length predicate[tests][tests] Improved tests for \initialized predicate to include test cases
Loading