├── .dockerignore ├── .gitignore ├── .pylintrc ├── .travis.yml ├── Dockerfile ├── LICENSE ├── README.md ├── examples ├── acasxu │ ├── README.md │ ├── acasxu_all.py │ └── data │ │ ├── ACASXU_run2a_1_1_batch_2000.onnx │ │ ├── ACASXU_run2a_1_2_batch_2000.onnx │ │ ├── ACASXU_run2a_1_3_batch_2000.onnx │ │ ├── ACASXU_run2a_1_4_batch_2000.onnx │ │ ├── ACASXU_run2a_1_5_batch_2000.onnx │ │ ├── ACASXU_run2a_1_6_batch_2000.onnx │ │ ├── ACASXU_run2a_1_7_batch_2000.onnx │ │ ├── ACASXU_run2a_1_8_batch_2000.onnx │ │ ├── ACASXU_run2a_1_9_batch_2000.onnx │ │ ├── ACASXU_run2a_2_1_batch_2000.onnx │ │ ├── ACASXU_run2a_2_2_batch_2000.onnx │ │ ├── ACASXU_run2a_2_3_batch_2000.onnx │ │ ├── ACASXU_run2a_2_4_batch_2000.onnx │ │ ├── ACASXU_run2a_2_5_batch_2000.onnx │ │ ├── ACASXU_run2a_2_6_batch_2000.onnx │ │ ├── ACASXU_run2a_2_7_batch_2000.onnx │ │ ├── ACASXU_run2a_2_8_batch_2000.onnx │ │ ├── ACASXU_run2a_2_9_batch_2000.onnx │ │ ├── ACASXU_run2a_3_1_batch_2000.onnx │ │ ├── ACASXU_run2a_3_2_batch_2000.onnx │ │ ├── ACASXU_run2a_3_3_batch_2000.onnx │ │ ├── ACASXU_run2a_3_4_batch_2000.onnx │ │ ├── ACASXU_run2a_3_5_batch_2000.onnx │ │ ├── ACASXU_run2a_3_6_batch_2000.onnx │ │ ├── ACASXU_run2a_3_7_batch_2000.onnx │ │ ├── ACASXU_run2a_3_8_batch_2000.onnx │ │ ├── ACASXU_run2a_3_9_batch_2000.onnx │ │ ├── ACASXU_run2a_4_1_batch_2000.onnx │ │ ├── ACASXU_run2a_4_2_batch_2000.onnx │ │ ├── ACASXU_run2a_4_3_batch_2000.onnx │ │ ├── ACASXU_run2a_4_4_batch_2000.onnx │ │ ├── ACASXU_run2a_4_5_batch_2000.onnx │ │ ├── ACASXU_run2a_4_6_batch_2000.onnx │ │ ├── ACASXU_run2a_4_7_batch_2000.onnx │ │ ├── ACASXU_run2a_4_8_batch_2000.onnx │ │ ├── ACASXU_run2a_4_9_batch_2000.onnx │ │ ├── ACASXU_run2a_5_1_batch_2000.onnx │ │ ├── ACASXU_run2a_5_2_batch_2000.onnx │ │ ├── ACASXU_run2a_5_3_batch_2000.onnx │ │ ├── ACASXU_run2a_5_4_batch_2000.onnx │ │ ├── ACASXU_run2a_5_5_batch_2000.onnx │ │ ├── ACASXU_run2a_5_6_batch_2000.onnx │ │ ├── ACASXU_run2a_5_7_batch_2000.onnx │ │ ├── ACASXU_run2a_5_8_batch_2000.onnx │ │ ├── ACASXU_run2a_5_9_batch_2000.onnx │ │ ├── prop_1.vnnlib │ │ ├── prop_10.vnnlib │ │ ├── prop_2.vnnlib │ │ ├── prop_3.vnnlib │ │ ├── prop_4.vnnlib │ │ ├── prop_5.vnnlib │ │ ├── prop_6.vnnlib │ │ ├── prop_7.vnnlib │ │ ├── prop_8.vnnlib │ │ └── prop_9.vnnlib ├── ali_bug │ ├── ali.py │ ├── mnist-net_256x4.onnx │ └── prop_14_0.05.vnnlib ├── bug_issue7 │ ├── net.onnx │ └── p2_acaxurange.vnnlib ├── cifar2020 │ ├── README.md │ ├── cifar10_2_255_simplified.onnx │ ├── cifar10_spec_idx_11_eps_0.00784_n1.vnnlib │ └── cifar10_spec_idx_3_eps_0.00784_n1.vnnlib ├── mnistcnn │ ├── README.md │ ├── generate_spec.py │ ├── image0.vnnlib │ ├── mnist_0.1.onnx │ ├── mnist_0.1_noscale.onnx │ └── mnist_test.csv ├── mnistfc │ ├── README.md │ ├── mnist-net_256x2.onnx │ ├── prop_0_0.03.vnnlib │ └── prop_2_0.03.vnnlib └── test │ ├── README.md │ ├── test_nano.onnx │ ├── test_nano.vnnlib │ ├── test_prop.vnnlib │ ├── test_sat.onnx │ └── test_unsat.onnx ├── pyproject.toml ├── requirements.txt ├── run_in_docker.sh ├── run_tests.sh ├── src └── nnenum │ ├── __init__.py │ ├── enumerate.py │ ├── kamenev.py │ ├── lp_star.py │ ├── lp_star_state.py │ ├── lpinstance.py │ ├── lpplot.py │ ├── lputil.py │ ├── network.py │ ├── nnenum.py │ ├── onnx_network.py │ ├── overapprox.py │ ├── prefilter.py │ ├── result.py │ ├── settings.py │ ├── specification.py │ ├── timerutil.py │ ├── util.py │ ├── vnnlib.py │ ├── worker.py │ └── zonotope.py └── vnncomp_scripts ├── README.md ├── install_tool.sh ├── prepare_instance.sh └── run_instance.sh /.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/.dockerignore -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/.gitignore -------------------------------------------------------------------------------- /.pylintrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/.pylintrc -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/.travis.yml -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/README.md -------------------------------------------------------------------------------- /examples/acasxu/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/README.md -------------------------------------------------------------------------------- /examples/acasxu/acasxu_all.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/acasxu_all.py -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_1_1_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_1_1_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_1_2_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_1_2_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_1_3_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_1_3_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_1_4_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_1_4_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_1_5_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_1_5_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_1_6_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_1_6_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_1_7_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_1_7_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_1_8_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_1_8_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_1_9_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_1_9_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_2_1_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_2_1_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_2_2_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_2_2_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_2_3_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_2_3_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_2_4_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_2_4_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_2_5_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_2_5_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_2_6_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_2_6_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_2_7_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_2_7_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_2_8_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_2_8_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_2_9_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_2_9_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_3_1_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_3_1_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_3_2_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_3_2_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_3_3_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_3_3_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_3_4_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_3_4_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_3_5_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_3_5_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_3_6_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_3_6_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_3_7_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_3_7_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_3_8_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_3_8_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_3_9_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_3_9_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_4_1_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_4_1_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_4_2_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_4_2_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_4_3_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_4_3_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_4_4_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_4_4_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_4_5_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_4_5_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_4_6_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_4_6_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_4_7_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_4_7_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_4_8_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_4_8_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_4_9_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_4_9_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_5_1_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_5_1_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_5_2_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_5_2_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_5_3_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_5_3_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_5_4_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_5_4_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_5_5_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_5_5_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_5_6_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_5_6_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_5_7_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_5_7_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_5_8_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_5_8_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/ACASXU_run2a_5_9_batch_2000.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/ACASXU_run2a_5_9_batch_2000.onnx -------------------------------------------------------------------------------- /examples/acasxu/data/prop_1.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/prop_1.vnnlib -------------------------------------------------------------------------------- /examples/acasxu/data/prop_10.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/prop_10.vnnlib -------------------------------------------------------------------------------- /examples/acasxu/data/prop_2.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/prop_2.vnnlib -------------------------------------------------------------------------------- /examples/acasxu/data/prop_3.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/prop_3.vnnlib -------------------------------------------------------------------------------- /examples/acasxu/data/prop_4.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/prop_4.vnnlib -------------------------------------------------------------------------------- /examples/acasxu/data/prop_5.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/prop_5.vnnlib -------------------------------------------------------------------------------- /examples/acasxu/data/prop_6.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/prop_6.vnnlib -------------------------------------------------------------------------------- /examples/acasxu/data/prop_7.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/prop_7.vnnlib -------------------------------------------------------------------------------- /examples/acasxu/data/prop_8.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/prop_8.vnnlib -------------------------------------------------------------------------------- /examples/acasxu/data/prop_9.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/acasxu/data/prop_9.vnnlib -------------------------------------------------------------------------------- /examples/ali_bug/ali.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/ali_bug/ali.py -------------------------------------------------------------------------------- /examples/ali_bug/mnist-net_256x4.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/ali_bug/mnist-net_256x4.onnx -------------------------------------------------------------------------------- /examples/ali_bug/prop_14_0.05.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/ali_bug/prop_14_0.05.vnnlib -------------------------------------------------------------------------------- /examples/bug_issue7/net.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/bug_issue7/net.onnx -------------------------------------------------------------------------------- /examples/bug_issue7/p2_acaxurange.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/bug_issue7/p2_acaxurange.vnnlib -------------------------------------------------------------------------------- /examples/cifar2020/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/cifar2020/README.md -------------------------------------------------------------------------------- /examples/cifar2020/cifar10_2_255_simplified.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/cifar2020/cifar10_2_255_simplified.onnx -------------------------------------------------------------------------------- /examples/cifar2020/cifar10_spec_idx_11_eps_0.00784_n1.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/cifar2020/cifar10_spec_idx_11_eps_0.00784_n1.vnnlib -------------------------------------------------------------------------------- /examples/cifar2020/cifar10_spec_idx_3_eps_0.00784_n1.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/cifar2020/cifar10_spec_idx_3_eps_0.00784_n1.vnnlib -------------------------------------------------------------------------------- /examples/mnistcnn/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/mnistcnn/README.md -------------------------------------------------------------------------------- /examples/mnistcnn/generate_spec.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/mnistcnn/generate_spec.py -------------------------------------------------------------------------------- /examples/mnistcnn/image0.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/mnistcnn/image0.vnnlib -------------------------------------------------------------------------------- /examples/mnistcnn/mnist_0.1.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/mnistcnn/mnist_0.1.onnx -------------------------------------------------------------------------------- /examples/mnistcnn/mnist_0.1_noscale.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/mnistcnn/mnist_0.1_noscale.onnx -------------------------------------------------------------------------------- /examples/mnistcnn/mnist_test.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/mnistcnn/mnist_test.csv -------------------------------------------------------------------------------- /examples/mnistfc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/mnistfc/README.md -------------------------------------------------------------------------------- /examples/mnistfc/mnist-net_256x2.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/mnistfc/mnist-net_256x2.onnx -------------------------------------------------------------------------------- /examples/mnistfc/prop_0_0.03.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/mnistfc/prop_0_0.03.vnnlib -------------------------------------------------------------------------------- /examples/mnistfc/prop_2_0.03.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/mnistfc/prop_2_0.03.vnnlib -------------------------------------------------------------------------------- /examples/test/README.md: -------------------------------------------------------------------------------- 1 | these are the test properties from VNNCOMP 2021. 2 | -------------------------------------------------------------------------------- /examples/test/test_nano.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/test/test_nano.onnx -------------------------------------------------------------------------------- /examples/test/test_nano.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/test/test_nano.vnnlib -------------------------------------------------------------------------------- /examples/test/test_prop.vnnlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/test/test_prop.vnnlib -------------------------------------------------------------------------------- /examples/test/test_sat.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/test/test_sat.onnx -------------------------------------------------------------------------------- /examples/test/test_unsat.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/examples/test/test_unsat.onnx -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/pyproject.toml -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/requirements.txt -------------------------------------------------------------------------------- /run_in_docker.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/run_in_docker.sh -------------------------------------------------------------------------------- /run_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/run_tests.sh -------------------------------------------------------------------------------- /src/nnenum/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/src/nnenum/__init__.py -------------------------------------------------------------------------------- /src/nnenum/enumerate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/src/nnenum/enumerate.py -------------------------------------------------------------------------------- /src/nnenum/kamenev.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/src/nnenum/kamenev.py -------------------------------------------------------------------------------- /src/nnenum/lp_star.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/src/nnenum/lp_star.py -------------------------------------------------------------------------------- /src/nnenum/lp_star_state.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/src/nnenum/lp_star_state.py -------------------------------------------------------------------------------- /src/nnenum/lpinstance.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/src/nnenum/lpinstance.py -------------------------------------------------------------------------------- /src/nnenum/lpplot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/src/nnenum/lpplot.py -------------------------------------------------------------------------------- /src/nnenum/lputil.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/src/nnenum/lputil.py -------------------------------------------------------------------------------- /src/nnenum/network.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/src/nnenum/network.py -------------------------------------------------------------------------------- /src/nnenum/nnenum.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/src/nnenum/nnenum.py -------------------------------------------------------------------------------- /src/nnenum/onnx_network.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/src/nnenum/onnx_network.py -------------------------------------------------------------------------------- /src/nnenum/overapprox.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/src/nnenum/overapprox.py -------------------------------------------------------------------------------- /src/nnenum/prefilter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/src/nnenum/prefilter.py -------------------------------------------------------------------------------- /src/nnenum/result.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/src/nnenum/result.py -------------------------------------------------------------------------------- /src/nnenum/settings.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/src/nnenum/settings.py -------------------------------------------------------------------------------- /src/nnenum/specification.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/src/nnenum/specification.py -------------------------------------------------------------------------------- /src/nnenum/timerutil.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/src/nnenum/timerutil.py -------------------------------------------------------------------------------- /src/nnenum/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/src/nnenum/util.py -------------------------------------------------------------------------------- /src/nnenum/vnnlib.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/src/nnenum/vnnlib.py -------------------------------------------------------------------------------- /src/nnenum/worker.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/src/nnenum/worker.py -------------------------------------------------------------------------------- /src/nnenum/zonotope.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/src/nnenum/zonotope.py -------------------------------------------------------------------------------- /vnncomp_scripts/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/vnncomp_scripts/README.md -------------------------------------------------------------------------------- /vnncomp_scripts/install_tool.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/vnncomp_scripts/install_tool.sh -------------------------------------------------------------------------------- /vnncomp_scripts/prepare_instance.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/vnncomp_scripts/prepare_instance.sh -------------------------------------------------------------------------------- /vnncomp_scripts/run_instance.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanleybak/nnenum/HEAD/vnncomp_scripts/run_instance.sh --------------------------------------------------------------------------------