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.05Jun43230May292827262520191815141312111098765432130Apr29282724232210987632131Mar302726252423Merge branch 'feature/andre/doc-analysis-scripts' into 'stable/scandium'[Doc] User manual: mentions frama-c-script make-template earlier.[Doc] add link to Frama-C blog post about C-Reduce[Doc] add section about required build information[Doc] User manual: minor changes in the documentation of analysis-scripts.Merge branch 'feature/ivette/controls' into 'master'[dome] fix icon base resolution[dome] typescript buttons[dome] typescript labels[dome] typescript iconsMerge branch 'master' into feature/dome/typescript-tables[dome] table documentation[dome] fix column order by index[dome] table user settings[dome] handle key events in tableMerge branch 'fix/ivette/select' into 'master'[ivette] ASTinfo: fixes a flickering effect when the panel is updated.[table] item context menu[ivette] Reset useRequest response state on falsy values for project, rq, or params.[ivette] re-order properties[dome] fix ordering[ivette] When jumping to a function, resets the selected marker to null.[dome] table context menu (headers)Merge branch 'feature/andre/libc-specs-for-s2opc' into 'master'[dome] fix multiple filling columns[Libc] include error case for pthread_mutexattr_destroy[Libc] add some specs and constantsMerge branch 'fix/andre/machdep-macro-no-frama-c-stdlib' into 'master'Merge branch 'feature/andre/check-working-configuration' into 'master'[dome] fix default table cell renderer[dome] fix resizing columns[dome] refactor default table getters & renderers[dome] fix table resizing latency[refconf] footnote for gcc-10 users[dome] table resizers[ivette] restart last command on reload[Dev] rename and improve check for reference configuration[Dev] script to check known working configurationMerge branch 'feature/ivette/AST-info' into 'master'[Doc/Userman] add clarification about creduce having to be installed