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.025Jun2423222019181716151312111098543230May2928272625201918151413[tests] update oracles[logic] don't lose annot_id when merging loop assigns or loop allocates[logic] make {iter,fold}_code_annot operate on normalized annotations[tests] refine test case for insertion of loop assigns[ivette] fix requests[ivette] fix phantom key[ivette] declaration dependencies[ivette] fix api generation[dive] implement an exploration window server side[dive] send/receive data about markers[ivette] state names[ivette] typed server & states21.1 minor release21.1 stable/sca…21.1 stable/scandium[Doc] fix release distribution script[WP] update Changelog[ivette] change api file structure[ivette] more use of alpha comparison[ivette] natural orders[ivette] fix in decodersMerge branch 'fix/andre/more-changelog-fixes' into 'stable/scandium'Merge branch 'feature/dome/typescript-states' into feature/server/generate-api[ivette] request parameters[ivette] decoders[Changelog] better normalization and minor fixes[Distrib] include E-ACSL changelog in website[server] use derived names[server] removed collections, introduced alist & alpha[ivette] request declarations[ivette] type declarations[ivette] package structure[ivette] Dive graphs: use react-cytoscapejs[ivette] typescript APIMerge branch 'fix/wp/coq-region' into 'stable/scandium'[dive] fix server interface[ivette] Dive graphs: adds a titlebar menu to change the selection mode.[ivette] Dive graphs: adds a titlebar button to lock the graph.[ivette] Dive graphs: adds titlebar buttons to clear and change the layout.[libs] linter[server] include readmes on demand only[server] fix readme & styles