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.021Jun20191176528May2417161514134Apr230Mar29252220181586530Jan2720Dec12421Nov141325Oct241611329Sep252221201924Jul764330Jun2826232221201916151298231May30252423171195421Apr20513Mar914Feb13831Jan252319171110423Dec22201916151413129876[release] Disable some tests when no python3 is available2.02.0[release] Accepts forcing the installation of onnx system-wide[release] Prefer vendoring local pip installation[release][deps] Fix upper bound for base to match opam CI requirements[release][wip] Custom action to ensure python3 onnx package is available for tests[release] Upgrade CAISAR version number and added test dependenciesMerge branch 'stable/2.0' into 'master'[ci] Update version in nix flake[ci] Typo in CI[ci] Upgraded OPAM image in CI to match Dockerfile generation[release] Added Maraboupy in the docker image[ci] Update full rebuild target for CI[release] Update changelog[doc] Updated doc to match 2.0 releaseMerge branch 'feature/varasse/aimos-update' into 'master'[aimos] Update configuration to fit new behaviorMerge branch 'fix/michele/abcrown-config' into 'master'[config] Update abCROWN ACASXu config as upstream.Merge branch 'feature/michele/maraboupy' into 'master'[prover] Minor fixes and formatting for runMarabou[prover] Prefer using maraboupy as the official name of the package.[prover] Ensure maraboupy and Marabou binary have the same version.[prover] Complete the integration of maraboupy.[prover] Rework integration for Marabou via python interface.Merge branch 'varasse/experiments' into 'master'[exps] Uniformize, rename and reorganize specs[exps] Rename NNs training directory[exps] Add binary models (sort 0 from others)[exps] Uniformize and organize new models[exps] Add tests for split_nn[exps] Add tests for check_pruning[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