Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • 3.0
  • 2.1
  • 2.0
  • 1.0
5 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.014May134Apr230Mar29252220181586530Jan2720Dec12421Nov141325Oct241611329Sep252221201924Jul764330Jun2826232221201916151298231May30252423171195421Apr20513Mar914Feb13831Jan252319171110423Dec2220191615141312987652126Nov25242217928Oct24212018121110765329Sep2726[trans] Just a pass on last change, and ACAS P3 as program test.[NN_native] create only one node by identical nn application[ir] Division by a constant and negation encoded via matmul.[ir] Revise API for creating a gather via matmul encoding.[trans] Rework native nn prover with some additional doc.[ir] Encode gather via matmul.[NN_prover] Keep only used inputs[NN_solver] Add metas for input just before goal[NN_printer] Remove invariant on the position of metaSome documentation[trans] Simple rework and format.[Ir] add smart constructors and use them[Onnx] add shape and type information in ONNX[Onnx export] bump version of ONNX to 13[NN_prover] fix input numbering[Nix] add "examples" to the source directories[NN_prover] make the onnx file used deterministic[NN_prover] Add $CAISAR_ONNX_OUTPUT_DIR for specifying output directory[NN_prover] Add bounds to all inputs since nn provers requires it[NN_prover] Some documentation[NN_prover] use the same output for the same term[NN_prover] Can convert to ONNX output terms[trans] Simpler match for nn lsymbols.[ir] Remove allowzero attribute from Reshape.[NN_prover] Fix output with wrong shape[Spec] Some robustess encoding[tests] Same output value from two different NN calls.[MK_onnx] Use reshape when substituting[Ir] Add compute shape of Reshape, and writerA pass of formatting.[trans] Rework after rebase to use utils functionnalities.[trans] Use transformation utils whenever possible.[test] Use double inequality instead of equality.[trans] Use actual temporary file.[Nier] fixes and simplificationuse onnx version[trans] Handle neural networs in sequence.[trans] In lsymbols matching, use theory's symbols rather than mere strings.Revert dune 3.8 -> 3.7[chore] Moved logging to a proper library