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.011Jun76528May2417161514134Apr230Mar29252220181586530Jan2720Dec12421Nov141325Oct241611329Sep252221201924Jul764330Jun2826232221201916151298231May30252423171195421Apr20513Mar914Feb13831Jan252319171110423Dec2220191615141312987652126Nov25242217[exps] Add arithmetic alternative to PyRAT config[exps] First draft of successive nn models[exps] Add tests for arithmetic[exps] Add 14*14 models (normal + pruned)[exps] Add models that classify if number is 8[exps] Add models that only classify 0, 1 and 2[exps] Add onnx and training script for arithmetic[exps] Add arithmetic specification[exps] Add new models and training script[exps] Add data (and generation script) for arithmetic[nir] Export Gemm node to ONNX[onnx] Update reader utils[nir] Fix node shape computingMerge branch 'feature/native_nn_prover_on_vectors' into 'master'[trans] Use NIR whenever available.Convert floating point to Why3 term more efficiently[nn_native] convert vector term to node with shape of arbitrary size[Model] merge NN and SVM[Interpretation] Convert `nn@@vv` into `mk_vector (nn@@vv[0])` ...[nn_native] Try to recover old behavior[nn_native] Refactor[Tests] Fix onnx testsMerge branch 'fix/michele/cnf-before-vnnlib' into 'master'[release] Update license header filesMerge branch 'master' of git.frama-c.com:laiser/caisar[printers] Ensure goal is printable by the VNNLIB printer.[printers] Ensure goal is in cnf before negating and printing it.[nnet] Fixed wrong shape being inferred during Nnet nir generation[refactor] Remove leftovers of nier[nnet] Fixed wrong shape being inferred during Nnet nir generation[refactor] Remove leftovers of nierMerge branch 'feature/dorin/nn-nier' into 'master'[Nnet]Correct data handling[Nnet][test] Added test for Nnet parsing[Nir] Added tensor creation helpers[Nnet] Nnet parser to NirMerge branch 'feature/julien/only_nier_simple' into 'master'Change doc to reflect opset export versionSet exported opset to 13Rename NIER to NIR everywhere, in every context.