├── .github └── workflows │ ├── deploy-docs.yml │ ├── python-publish.yml │ └── regression.yml ├── .gitignore ├── CONTRIBUTING.md ├── LICENSE.txt ├── README.md ├── docs ├── API │ ├── 0_Networks.rst │ ├── 1_Nodes.rst │ ├── 2_Training.rst │ ├── 3_Conversion.rst │ └── 4_Verification.rst ├── Guide │ └── usage.rst ├── Makefile ├── Setup │ └── install.rst ├── _static │ └── logo.png ├── conf.py ├── index.rst ├── requirements.txt └── template.py ├── download_benchmarks.sh ├── environment.yml ├── examples ├── notebooks │ ├── 00 - Networks.ipynb │ ├── 01 - Training.ipynb │ ├── 02 - Safety specifications.ipynb │ └── 03 - Verification.ipynb ├── pruning_example │ ├── data │ │ └── placeholder.txt │ └── pruning_example.py ├── submissions │ └── 2023_SoftComputing │ │ ├── logs │ │ └── placeholder.txt │ │ └── soco_experiments_launcher.py └── test │ ├── README.md │ ├── instances.csv │ ├── test_nano.onnx │ ├── test_nano.vnnlib │ ├── test_small.onnx │ ├── test_small.vnnlib │ ├── test_tiny.onnx │ └── test_tiny.vnnlib ├── never2_batch.py ├── never2_launcher.py ├── pynever ├── __init__.py ├── config │ ├── __init__.py │ └── configuration.ini ├── datasets.py ├── exceptions.py ├── legacy │ ├── ReLU Over-approx.ipynb │ ├── Sigmoid Over-approx.ipynb │ ├── bidimensional_example_FC_ReLU.ipynb │ ├── bidimensional_example_FC_ReLU_Complete.ipynb │ ├── bidimensional_example_FC_ReLU_Overapprox.ipynb │ ├── bidimensional_example_with_sigmoid.ipynb │ ├── tensors.py │ └── visualization.py ├── networks.py ├── nodes.py ├── scripts │ ├── __init__.py │ └── cli.py ├── strategies │ ├── __init__.py │ ├── abstraction │ │ ├── __init__.py │ │ ├── bounds_propagation │ │ │ ├── __init__.py │ │ │ ├── bounds.py │ │ │ ├── layers │ │ │ │ ├── __init__.py │ │ │ │ ├── affine.py │ │ │ │ ├── convolution.py │ │ │ │ ├── maxpool.py │ │ │ │ └── relu.py │ │ │ ├── manager.py │ │ │ ├── test │ │ │ │ ├── __init__.py │ │ │ │ ├── debugging_launcher.py │ │ │ │ ├── generate test.ipynb │ │ │ │ ├── generate_property.ipynb │ │ │ │ └── test │ │ │ │ │ └── intermediate.vnnlib │ │ │ └── util.py │ │ ├── linearfunctions.py │ │ ├── networks.py │ │ ├── nodes.py │ │ └── star.py │ ├── conversion │ │ ├── __init__.py │ │ ├── converters │ │ │ ├── __init__.py │ │ │ ├── onnx.py │ │ │ ├── pytorch.py │ │ │ └── pytorch_layers.py │ │ └── representation.py │ ├── parser │ │ ├── __init__.py │ │ ├── expression.py │ │ ├── tokenizer.py │ │ ├── tree.py │ │ ├── util.py │ │ ├── visitor.py │ │ └── vnnlib.py │ ├── pruning.py │ ├── training.py │ └── verification │ │ ├── __init__.py │ │ ├── algorithms.py │ │ ├── parameters.py │ │ ├── properties.py │ │ ├── ssbp │ │ ├── __init__.py │ │ ├── constants.py │ │ ├── intersection.py │ │ ├── propagation.py │ │ ├── refinement.py │ │ └── split.py │ │ └── statistics.py └── utilities.py ├── pyproject.toml ├── test ├── logs │ └── placeholder.txt ├── regression │ ├── __init__.py │ └── run_regression_test.py └── unittests │ ├── 2d_prop.vnnlib │ ├── 2d_propagation.py │ ├── __init__.py │ ├── parser_test.py │ ├── prop_3_complex.vnnlib │ ├── prop_cifar.vnnlib │ └── topological.py └── vnncomp_scripts ├── config.yaml ├── install_tool.sh ├── prepare_instance.sh ├── requirements.txt └── run_instance.sh /.github/workflows/deploy-docs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/.github/workflows/deploy-docs.yml -------------------------------------------------------------------------------- /.github/workflows/python-publish.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/.github/workflows/python-publish.yml -------------------------------------------------------------------------------- /.github/workflows/regression.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/.github/workflows/regression.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/.gitignore -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/README.md -------------------------------------------------------------------------------- /docs/API/0_Networks.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/docs/API/0_Networks.rst -------------------------------------------------------------------------------- /docs/API/1_Nodes.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/docs/API/1_Nodes.rst -------------------------------------------------------------------------------- /docs/API/2_Training.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/docs/API/2_Training.rst -------------------------------------------------------------------------------- /docs/API/3_Conversion.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/docs/API/3_Conversion.rst -------------------------------------------------------------------------------- /docs/API/4_Verification.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/docs/API/4_Verification.rst -------------------------------------------------------------------------------- /docs/Guide/usage.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/docs/Guide/usage.rst -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/Setup/install.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/docs/Setup/install.rst -------------------------------------------------------------------------------- /docs/_static/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/docs/_static/logo.png -------------------------------------------------------------------------------- /docs/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/docs/conf.py -------------------------------------------------------------------------------- /docs/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/docs/index.rst -------------------------------------------------------------------------------- /docs/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/docs/requirements.txt -------------------------------------------------------------------------------- /docs/template.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/docs/template.py -------------------------------------------------------------------------------- /download_benchmarks.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/download_benchmarks.sh -------------------------------------------------------------------------------- /environment.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/environment.yml -------------------------------------------------------------------------------- /examples/notebooks/00 - Networks.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/examples/notebooks/00 - Networks.ipynb -------------------------------------------------------------------------------- /examples/notebooks/01 - Training.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/examples/notebooks/01 - Training.ipynb -------------------------------------------------------------------------------- /examples/notebooks/02 - Safety specifications.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/examples/notebooks/02 - Safety specifications.ipynb -------------------------------------------------------------------------------- /examples/notebooks/03 - Verification.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/examples/notebooks/03 - Verification.ipynb -------------------------------------------------------------------------------- /examples/pruning_example/data/placeholder.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/pruning_example/pruning_example.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/examples/pruning_example/pruning_example.py -------------------------------------------------------------------------------- /examples/submissions/2023_SoftComputing/logs/placeholder.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/submissions/2023_SoftComputing/soco_experiments_launcher.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/examples/submissions/2023_SoftComputing/soco_experiments_launcher.py -------------------------------------------------------------------------------- /examples/test/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/examples/test/README.md -------------------------------------------------------------------------------- /examples/test/instances.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/examples/test/instances.csv -------------------------------------------------------------------------------- /examples/test/test_nano.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/examples/test/test_nano.onnx -------------------------------------------------------------------------------- /examples/test/test_nano.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/examples/test/test_nano.vnnlib -------------------------------------------------------------------------------- /examples/test/test_small.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/examples/test/test_small.onnx -------------------------------------------------------------------------------- /examples/test/test_small.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/examples/test/test_small.vnnlib -------------------------------------------------------------------------------- /examples/test/test_tiny.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/examples/test/test_tiny.onnx -------------------------------------------------------------------------------- /examples/test/test_tiny.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/examples/test/test_tiny.vnnlib -------------------------------------------------------------------------------- /never2_batch.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/never2_batch.py -------------------------------------------------------------------------------- /never2_launcher.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/never2_launcher.py -------------------------------------------------------------------------------- /pynever/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/__init__.py -------------------------------------------------------------------------------- /pynever/config/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /pynever/config/configuration.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/config/configuration.ini -------------------------------------------------------------------------------- /pynever/datasets.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/datasets.py -------------------------------------------------------------------------------- /pynever/exceptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/exceptions.py -------------------------------------------------------------------------------- /pynever/legacy/ReLU Over-approx.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/legacy/ReLU Over-approx.ipynb -------------------------------------------------------------------------------- /pynever/legacy/Sigmoid Over-approx.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/legacy/Sigmoid Over-approx.ipynb -------------------------------------------------------------------------------- /pynever/legacy/bidimensional_example_FC_ReLU.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/legacy/bidimensional_example_FC_ReLU.ipynb -------------------------------------------------------------------------------- /pynever/legacy/bidimensional_example_FC_ReLU_Complete.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/legacy/bidimensional_example_FC_ReLU_Complete.ipynb -------------------------------------------------------------------------------- /pynever/legacy/bidimensional_example_FC_ReLU_Overapprox.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/legacy/bidimensional_example_FC_ReLU_Overapprox.ipynb -------------------------------------------------------------------------------- /pynever/legacy/bidimensional_example_with_sigmoid.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/legacy/bidimensional_example_with_sigmoid.ipynb -------------------------------------------------------------------------------- /pynever/legacy/tensors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/legacy/tensors.py -------------------------------------------------------------------------------- /pynever/legacy/visualization.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/legacy/visualization.py -------------------------------------------------------------------------------- /pynever/networks.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/networks.py -------------------------------------------------------------------------------- /pynever/nodes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/nodes.py -------------------------------------------------------------------------------- /pynever/scripts/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /pynever/scripts/cli.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/scripts/cli.py -------------------------------------------------------------------------------- /pynever/strategies/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /pynever/strategies/abstraction/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/abstraction/__init__.py -------------------------------------------------------------------------------- /pynever/strategies/abstraction/bounds_propagation/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/abstraction/bounds_propagation/__init__.py -------------------------------------------------------------------------------- /pynever/strategies/abstraction/bounds_propagation/bounds.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/abstraction/bounds_propagation/bounds.py -------------------------------------------------------------------------------- /pynever/strategies/abstraction/bounds_propagation/layers/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /pynever/strategies/abstraction/bounds_propagation/layers/affine.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/abstraction/bounds_propagation/layers/affine.py -------------------------------------------------------------------------------- /pynever/strategies/abstraction/bounds_propagation/layers/convolution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/abstraction/bounds_propagation/layers/convolution.py -------------------------------------------------------------------------------- /pynever/strategies/abstraction/bounds_propagation/layers/maxpool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/abstraction/bounds_propagation/layers/maxpool.py -------------------------------------------------------------------------------- /pynever/strategies/abstraction/bounds_propagation/layers/relu.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/abstraction/bounds_propagation/layers/relu.py -------------------------------------------------------------------------------- /pynever/strategies/abstraction/bounds_propagation/manager.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/abstraction/bounds_propagation/manager.py -------------------------------------------------------------------------------- /pynever/strategies/abstraction/bounds_propagation/test/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /pynever/strategies/abstraction/bounds_propagation/test/debugging_launcher.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/abstraction/bounds_propagation/test/debugging_launcher.py -------------------------------------------------------------------------------- /pynever/strategies/abstraction/bounds_propagation/test/generate test.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/abstraction/bounds_propagation/test/generate test.ipynb -------------------------------------------------------------------------------- /pynever/strategies/abstraction/bounds_propagation/test/generate_property.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/abstraction/bounds_propagation/test/generate_property.ipynb -------------------------------------------------------------------------------- /pynever/strategies/abstraction/bounds_propagation/test/test/intermediate.vnnlib: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /pynever/strategies/abstraction/bounds_propagation/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/abstraction/bounds_propagation/util.py -------------------------------------------------------------------------------- /pynever/strategies/abstraction/linearfunctions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/abstraction/linearfunctions.py -------------------------------------------------------------------------------- /pynever/strategies/abstraction/networks.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/abstraction/networks.py -------------------------------------------------------------------------------- /pynever/strategies/abstraction/nodes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/abstraction/nodes.py -------------------------------------------------------------------------------- /pynever/strategies/abstraction/star.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/abstraction/star.py -------------------------------------------------------------------------------- /pynever/strategies/conversion/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /pynever/strategies/conversion/converters/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /pynever/strategies/conversion/converters/onnx.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/conversion/converters/onnx.py -------------------------------------------------------------------------------- /pynever/strategies/conversion/converters/pytorch.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/conversion/converters/pytorch.py -------------------------------------------------------------------------------- /pynever/strategies/conversion/converters/pytorch_layers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/conversion/converters/pytorch_layers.py -------------------------------------------------------------------------------- /pynever/strategies/conversion/representation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/conversion/representation.py -------------------------------------------------------------------------------- /pynever/strategies/parser/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/parser/__init__.py -------------------------------------------------------------------------------- /pynever/strategies/parser/expression.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/parser/expression.py -------------------------------------------------------------------------------- /pynever/strategies/parser/tokenizer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/parser/tokenizer.py -------------------------------------------------------------------------------- /pynever/strategies/parser/tree.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/parser/tree.py -------------------------------------------------------------------------------- /pynever/strategies/parser/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/parser/util.py -------------------------------------------------------------------------------- /pynever/strategies/parser/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/parser/visitor.py -------------------------------------------------------------------------------- /pynever/strategies/parser/vnnlib.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/parser/vnnlib.py -------------------------------------------------------------------------------- /pynever/strategies/pruning.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/pruning.py -------------------------------------------------------------------------------- /pynever/strategies/training.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/training.py -------------------------------------------------------------------------------- /pynever/strategies/verification/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/verification/__init__.py -------------------------------------------------------------------------------- /pynever/strategies/verification/algorithms.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/verification/algorithms.py -------------------------------------------------------------------------------- /pynever/strategies/verification/parameters.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/verification/parameters.py -------------------------------------------------------------------------------- /pynever/strategies/verification/properties.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/verification/properties.py -------------------------------------------------------------------------------- /pynever/strategies/verification/ssbp/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /pynever/strategies/verification/ssbp/constants.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/verification/ssbp/constants.py -------------------------------------------------------------------------------- /pynever/strategies/verification/ssbp/intersection.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/verification/ssbp/intersection.py -------------------------------------------------------------------------------- /pynever/strategies/verification/ssbp/propagation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/verification/ssbp/propagation.py -------------------------------------------------------------------------------- /pynever/strategies/verification/ssbp/refinement.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/verification/ssbp/refinement.py -------------------------------------------------------------------------------- /pynever/strategies/verification/ssbp/split.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/verification/ssbp/split.py -------------------------------------------------------------------------------- /pynever/strategies/verification/statistics.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/strategies/verification/statistics.py -------------------------------------------------------------------------------- /pynever/utilities.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pynever/utilities.py -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/pyproject.toml -------------------------------------------------------------------------------- /test/logs/placeholder.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/regression/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/regression/run_regression_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/test/regression/run_regression_test.py -------------------------------------------------------------------------------- /test/unittests/2d_prop.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/test/unittests/2d_prop.vnnlib -------------------------------------------------------------------------------- /test/unittests/2d_propagation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/test/unittests/2d_propagation.py -------------------------------------------------------------------------------- /test/unittests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/unittests/parser_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/test/unittests/parser_test.py -------------------------------------------------------------------------------- /test/unittests/prop_3_complex.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/test/unittests/prop_3_complex.vnnlib -------------------------------------------------------------------------------- /test/unittests/prop_cifar.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/test/unittests/prop_cifar.vnnlib -------------------------------------------------------------------------------- /test/unittests/topological.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/test/unittests/topological.py -------------------------------------------------------------------------------- /vnncomp_scripts/config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/vnncomp_scripts/config.yaml -------------------------------------------------------------------------------- /vnncomp_scripts/install_tool.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/vnncomp_scripts/install_tool.sh -------------------------------------------------------------------------------- /vnncomp_scripts/prepare_instance.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/vnncomp_scripts/prepare_instance.sh -------------------------------------------------------------------------------- /vnncomp_scripts/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/vnncomp_scripts/requirements.txt -------------------------------------------------------------------------------- /vnncomp_scripts/run_instance.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NeVerTools/pyNeVer/HEAD/vnncomp_scripts/run_instance.sh --------------------------------------------------------------------------------