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.029May2827262520191815141312111098765432130Apr29282724232210987632131Mar302726252423201918[dome] natural ordering & compact array model[dome] renamed comparison (clashes with type)[dome] array model revamped[dome] fix some comparisons[dome] table models revamped[ivette] refactor order[dome] abstract table model[ivette] fix comparison doc[dome] fix comparison for NaNs[dome] refactor dome data comparisons[dome] dome data comparisons[dome] introducing data packageMerge branch '865-cannot-compile-frama-c-if-a-why3-version-unwanted-by-wp-is-installed' into 'stable/scandium'[ivette] Some typing in ASTinfo.[ivette] Fix ASTinfo behavior on server stop/reset.[ivette] Fix useRequest on undefined params.[ivette] New component displaying some information about the selected AST marker.[ivette] ASTview: new contextual menu to go to a function definition.[server] New request kernel.ast.info to get more information about a marker.[server] New synchronized array kernel.ast.markerKind.[kernel] Cil_datatype: exports the type of Varinfo_Id.[server] Data: standardizes the Identified functor with Index and Static.Merge branch 'feature/michele/server-requests' into 'master'[Dome/Ivette] Add pretty printing utility to dome, and use it in Ivette.[Ivette/server] Revise some API and all its doc.[Ivette/server] Use undefined instead of null.[Ivette] Correct use of async/await with error handling.[devman] more configure.ac documentation[wp][config] don't check why3 version if why3 not installed[wp] fix plugin_check_dependencies[configure] disable wp with ocamlfind[wp] Update configure.ac[Eva] C bindings: removes 'volatile' in single-precision math functions.[devman] documentation for configure_pkg macro[wp][config] check presence of why3 _before_ checking its version number[wp] fix why3 configuration issues[analysis-scripts] add fallback when /usr/bin/time does not exist[wp] Adds type constraints on memory chunks when RTE is on[Eva] Adds tests of builtins acos, asin and atan in math_builtins.[Eva] New builtin for the trigonometric function atan.