Skip to content
Snippets Groups Projects
Select Git revision
  • feature/andre/choc-simplification-analysis-scripts
  • master default protected
  • stable/scandium
  • stable/titanium
  • stable/titanium-backport
  • 22.0+r2
  • 22.0+r1
  • 22.0
  • 22.0-beta
  • 2020-10-16
  • 21.1
  • 21.0
  • 21.0-beta
  • Vessedia-D3.5
  • 20.0
  • 19.1
  • 19.0
  • 18.0
18 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.08Feb75432129Jan28272625222120191815141312118765423Dec2221181716151411109875432130Nov272625[Aorai] Add a complete test for aorai + eva combination[Aorai] register an Eva builtin to show the current Aorai state and history (trace)[Aorai] Setup Eva to automatically use value partitioning on aorai state and history[Eva] Export a function to enable global value partitioning[Aorai] Generate slevel annotations[Aorai] Use Eva as an optional dependency[Aorai] Add an option to not generate ACSL annotations[Aorai] Add aorai.h header file to be able to Frama_C_show_each states variables.[Aorai] Simplify the smart constructors handling global variables[Aorai] Add an history for Aorai current state variable[aorai] update against kernel API change[Aorai] Add a list of observables[Kernel] separate preprocessing command and extra args; fixes #@1003[kernel] more File refactoring[kernel] refactoring: rename variable[Kernel] more refactoring of File[kernel] minor refactoring[Kernel] remove extraneous space from preprocessing command[Kernel] avoid inserting newlines in messages with long command lines[Kernel] add dkey to display logic preprocessing command[Kernel] remove path normalization for -I/-include flags[kernel] refactor code related to JCDB[wp] dead-call smoke tests[wp] smoke deadcode[wp] smoke requires[wp] refactor function-body[wp] Clear CFG tables after WPMerge branch 'feature/kernel/ast-info-wrt-kind' into 'master'[doc] fixes incorrect OCamldoc markup from !2977[doc] update documentation[kernel] tweak ast-infos utilities wrt tp-kind[wp] Use OcamlGraph for reachability[wp] Fixes filter props[wp] Reachability: less memoizationMerge branch 'fix/andre/silence-warning-16' into 'master'[wp] Do not ignore main declarationUpdate Changelog for !3055[wp] Generate RTE before getting cfg infos[wp] CfgInfos collects loop annots[Cil] add mkDoWhile, mkWhile, and refactor loop sattr