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.021Dec181716151411109875432130Nov27262524232019181716141312106543230Oct2928272623222120191615141312[ivette] Fixes linting.[tests] avoid unnecessary parsing[wp] Updates WP tests related to new default machdep[wp] Update tests for new default machdep[variadic] Update tests for new default machdep[Instantiate] Fixes an int upper bound + enables a test[instantiate] Update tests for new default machdep[dive] Update "exceptional.i" test to keep x86_32 machdep[aorai] Update tests for new default machdep[Eva] Uses x86_32 machdep in alternative test configurations.[eva] Keep Eva's tests on x86_32 machdep[kernel] Update default machdep to x86_64 or FRAMAC_MACHDEP[ivette/eva] show alarms[ivette/eva] alarms icon in cells[ivette/eva] diffed values in cells[ivette/eva] refactor state into model[ivette/eva] diff text component[ivette/eva] fix function & callstack selectionadd linting commit to be ignored by git-blame[ivette/eva] display callstack infos[ivette/eva] row selection[ivette/eva] make persistent on double-click[ivette/eva] zoom cell[ivette/eva] fix callstacks ids[ivette/eva] fetch values by callstack[ivette/eva] stack layout[ivette/eva] callstacks cache & selection[ivette/eva] row layout padding[ivette/eva] probe selection[ivette/eva] fix updating lifecycle[ivette/values] selection feedback[ivette/eva] rows & probes styling[ivette/eva] EVA value cache & sizingMerge branch 'bugfix/julien/fix-eacsl-refman' into 'master'[e-acsl:refman] keep the next release in comments[e-acsl:refman] mark logic function and predicate applications as implemented[Eva] Adds test cases of _Bool increments/decrements.[ivette/eva] refactor model[kernel] Fixes the _Bool normalization on increment/decrement operators.[ivette/eva] refactor dimensions