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.07Jun6528May2417161514134Apr230Mar29252220181586530Jan2720Dec12421Nov141325Oct241611329Sep252221201924Jul764330Jun2826232221201916151298231May30252423171195421Apr20513Mar914Feb13831Jan252319171110423Dec2220191615141312987652126Nov25242217928Oct242120181211[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.[nir] Further doc clarification.Clarified opset import and supported onnx versionsKeep only the new IR.Fix format of code/configs.[config] Actually enable support of MaraboupyMerge branch 'feature/varasse/maraboupy' into 'master'[config][test][ci] Added proper autodetect for CI[config][test] Maraboupy is its own prover now[config] Cleaner support of Maraboupy[config] Added support for Marabou via its Python API.Merge branch 'feature/bobot/mk_onnx' into 'master'Merge remote-tracking branch 'origin/master' into feature/bobot/mk_onnxMerge branch 'dev/jgirard/expose-logs' into 'master'[dune] Open caisar_logging library globally.[chore] No more module aliasing[chore] Private logging library[chore] Slightly better name[Logging] Print Base Not_found error[Tools] inspect_onnx accepts cmdline arguments[Nier] Fix gemm parsing