├── .bazelignore ├── .bazelrc ├── .dockerignore ├── .github └── workflows │ └── test_syrenn.yml ├── .gitignore ├── BUILD ├── Dockerfile ├── LICENSE ├── Makefile ├── README.md ├── WORKSPACE ├── docker_build.sh ├── docker_run.sh ├── experiments ├── BUILD ├── README.md ├── acas_lines.py ├── acas_planes.py ├── experiment.py ├── integral_approximations.py ├── integrated_gradients.py ├── linearity_hypothesis.py ├── model_checking.py ├── polar_image.py ├── toy_examples.py └── vrl_model.py ├── external ├── eigen.BUILD ├── gtest.BUILD ├── mkldnn.BUILD ├── openblas.BUILD └── tbb.BUILD ├── models ├── BUILD ├── README.md ├── translate_acas_model.py └── vrl │ ├── DDPG.savenet.py │ ├── Dockerfile │ ├── Makefile │ ├── Makefile.docker │ ├── download_and_convert.sh │ ├── eran │ ├── pendulum_continuous.eran │ ├── quadcopter.eran │ └── satelite.eran │ └── to_eran.py ├── pip_info ├── README.md ├── __metadata__.py ├── setup.cfg └── setup.py ├── pysyrenn ├── BUILD ├── README.md ├── __init__.py ├── frontend │ ├── BUILD │ ├── README.md │ ├── __init__.py │ ├── argmax_layer.py │ ├── averagepool_layer.py │ ├── concat_layer.py │ ├── conv2d_layer.py │ ├── fullyconnected_layer.py │ ├── hard_tanh_layer.py │ ├── layer.py │ ├── maxpool_layer.py │ ├── network.py │ ├── normalize_layer.py │ ├── relu_layer.py │ ├── strided_window_data.py │ ├── tests │ │ ├── BUILD │ │ ├── __init__.py │ │ ├── argmax_layer.py │ │ ├── averagepool_layer.py │ │ ├── concat_layer.py │ │ ├── conv2d_layer.py │ │ ├── fullyconnected_layer.py │ │ ├── hard_tanh_layer.py │ │ ├── layer.py │ │ ├── maxpool_layer.py │ │ ├── network.py │ │ ├── normalize_layer.py │ │ ├── relu_layer.py │ │ ├── strided_window_data.py │ │ └── transformer_client.py │ └── transformer_client.py └── helpers │ ├── BUILD │ ├── README.md │ ├── __init__.py │ ├── classify_lines.py │ ├── classify_planes.py │ ├── integrated_gradients.py │ ├── masking_network.py │ ├── netpatch.py │ └── tests │ ├── BUILD │ ├── classify_lines.py │ ├── classify_planes.py │ └── integrated_gradients.py ├── requirements.txt ├── scripts ├── README.md ├── keras_to_syrenn.py └── keras_to_syrenn_example.py ├── syrenn_proto ├── BUILD ├── README.md └── syrenn.proto ├── syrenn_server ├── .lvimrc ├── BUILD ├── LayerSupport.md ├── README.md ├── affine_transformer.cc ├── affine_transformer.h ├── argmax_transformer.cc ├── argmax_transformer.h ├── averagepool_transformer.cc ├── averagepool_transformer.h ├── concat_transformer.cc ├── concat_transformer.h ├── conv2d_transformer.cc ├── conv2d_transformer.h ├── fullyconnected_transformer.cc ├── fullyconnected_transformer.h ├── hard_tanh_transformer.cc ├── hard_tanh_transformer.h ├── maxpool_transformer.cc ├── maxpool_transformer.h ├── normalize_transformer.cc ├── normalize_transformer.h ├── pwl_transformer.cc ├── pwl_transformer.h ├── relu_maxpool_transformer.cc ├── relu_maxpool_transformer.h ├── relu_transformer.cc ├── relu_transformer.h ├── segmented_line.cc ├── segmented_line.h ├── server.cc ├── shared.h ├── strided_window_data.cc ├── strided_window_data.h ├── tests │ ├── BUILD │ ├── affine_transformer.cc │ ├── argmax_transformer.cc │ ├── averagepool_transformer.cc │ ├── concat_transformer.cc │ ├── conv2d_transformer.cc │ ├── fullyconnected_transformer.cc │ ├── hard_tanh_transformer.cc │ ├── maxpool_transformer.cc │ ├── normalize_transformer.cc │ ├── pwl_transformer.cc │ ├── relu_maxpool_transformer.cc │ ├── relu_transformer.cc │ ├── segmented_line.cc │ ├── strided_window_data.cc │ └── upolytope.cc ├── transformer.cc ├── transformer.h ├── upolytope.cc └── upolytope.h └── third_party ├── BUILD ├── README.md ├── eran_bmc ├── BUILD ├── README.md ├── experiment.py └── experiment.sh ├── eran_preconditions ├── .gitignore ├── BUILD ├── Dockerfile ├── README.md ├── experiment.py ├── experiment.sh └── install.sh ├── marabou_model_checking ├── .gitignore ├── BUILD ├── Dockerfile ├── Makefile ├── README.md ├── bmc.cpp └── experiment.sh └── reluplex_model_checking ├── .gitignore ├── BUILD ├── Dockerfile ├── Makefile ├── README.md ├── bmc.cpp ├── experiment.sh ├── export_specs.py └── run_model.sh /.bazelignore: -------------------------------------------------------------------------------- 1 | .docker_bazel 2 | -------------------------------------------------------------------------------- /.bazelrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/.bazelrc -------------------------------------------------------------------------------- /.dockerignore: -------------------------------------------------------------------------------- 1 | .docker_bazel 2 | -------------------------------------------------------------------------------- /.github/workflows/test_syrenn.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/.github/workflows/test_syrenn.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/.gitignore -------------------------------------------------------------------------------- /BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/BUILD -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/README.md -------------------------------------------------------------------------------- /WORKSPACE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/WORKSPACE -------------------------------------------------------------------------------- /docker_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/docker_build.sh -------------------------------------------------------------------------------- /docker_run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/docker_run.sh -------------------------------------------------------------------------------- /experiments/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/experiments/BUILD -------------------------------------------------------------------------------- /experiments/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/experiments/README.md -------------------------------------------------------------------------------- /experiments/acas_lines.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/experiments/acas_lines.py -------------------------------------------------------------------------------- /experiments/acas_planes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/experiments/acas_planes.py -------------------------------------------------------------------------------- /experiments/experiment.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/experiments/experiment.py -------------------------------------------------------------------------------- /experiments/integral_approximations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/experiments/integral_approximations.py -------------------------------------------------------------------------------- /experiments/integrated_gradients.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/experiments/integrated_gradients.py -------------------------------------------------------------------------------- /experiments/linearity_hypothesis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/experiments/linearity_hypothesis.py -------------------------------------------------------------------------------- /experiments/model_checking.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/experiments/model_checking.py -------------------------------------------------------------------------------- /experiments/polar_image.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/experiments/polar_image.py -------------------------------------------------------------------------------- /experiments/toy_examples.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/experiments/toy_examples.py -------------------------------------------------------------------------------- /experiments/vrl_model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/experiments/vrl_model.py -------------------------------------------------------------------------------- /external/eigen.BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/external/eigen.BUILD -------------------------------------------------------------------------------- /external/gtest.BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/external/gtest.BUILD -------------------------------------------------------------------------------- /external/mkldnn.BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/external/mkldnn.BUILD -------------------------------------------------------------------------------- /external/openblas.BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/external/openblas.BUILD -------------------------------------------------------------------------------- /external/tbb.BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/external/tbb.BUILD -------------------------------------------------------------------------------- /models/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/models/BUILD -------------------------------------------------------------------------------- /models/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/models/README.md -------------------------------------------------------------------------------- /models/translate_acas_model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/models/translate_acas_model.py -------------------------------------------------------------------------------- /models/vrl/DDPG.savenet.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/models/vrl/DDPG.savenet.py -------------------------------------------------------------------------------- /models/vrl/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/models/vrl/Dockerfile -------------------------------------------------------------------------------- /models/vrl/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/models/vrl/Makefile -------------------------------------------------------------------------------- /models/vrl/Makefile.docker: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/models/vrl/Makefile.docker -------------------------------------------------------------------------------- /models/vrl/download_and_convert.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/models/vrl/download_and_convert.sh -------------------------------------------------------------------------------- /models/vrl/eran/pendulum_continuous.eran: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/models/vrl/eran/pendulum_continuous.eran -------------------------------------------------------------------------------- /models/vrl/eran/quadcopter.eran: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/models/vrl/eran/quadcopter.eran -------------------------------------------------------------------------------- /models/vrl/eran/satelite.eran: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/models/vrl/eran/satelite.eran -------------------------------------------------------------------------------- /models/vrl/to_eran.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/models/vrl/to_eran.py -------------------------------------------------------------------------------- /pip_info/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pip_info/README.md -------------------------------------------------------------------------------- /pip_info/__metadata__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pip_info/__metadata__.py -------------------------------------------------------------------------------- /pip_info/setup.cfg: -------------------------------------------------------------------------------- 1 | [bdist_wheel] 2 | universal = 1 3 | 4 | [metadata] 5 | license_file = LICENSE 6 | -------------------------------------------------------------------------------- /pip_info/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pip_info/setup.py -------------------------------------------------------------------------------- /pysyrenn/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/BUILD -------------------------------------------------------------------------------- /pysyrenn/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/README.md -------------------------------------------------------------------------------- /pysyrenn/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/__init__.py -------------------------------------------------------------------------------- /pysyrenn/frontend/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/BUILD -------------------------------------------------------------------------------- /pysyrenn/frontend/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/README.md -------------------------------------------------------------------------------- /pysyrenn/frontend/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/__init__.py -------------------------------------------------------------------------------- /pysyrenn/frontend/argmax_layer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/argmax_layer.py -------------------------------------------------------------------------------- /pysyrenn/frontend/averagepool_layer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/averagepool_layer.py -------------------------------------------------------------------------------- /pysyrenn/frontend/concat_layer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/concat_layer.py -------------------------------------------------------------------------------- /pysyrenn/frontend/conv2d_layer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/conv2d_layer.py -------------------------------------------------------------------------------- /pysyrenn/frontend/fullyconnected_layer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/fullyconnected_layer.py -------------------------------------------------------------------------------- /pysyrenn/frontend/hard_tanh_layer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/hard_tanh_layer.py -------------------------------------------------------------------------------- /pysyrenn/frontend/layer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/layer.py -------------------------------------------------------------------------------- /pysyrenn/frontend/maxpool_layer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/maxpool_layer.py -------------------------------------------------------------------------------- /pysyrenn/frontend/network.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/network.py -------------------------------------------------------------------------------- /pysyrenn/frontend/normalize_layer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/normalize_layer.py -------------------------------------------------------------------------------- /pysyrenn/frontend/relu_layer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/relu_layer.py -------------------------------------------------------------------------------- /pysyrenn/frontend/strided_window_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/strided_window_data.py -------------------------------------------------------------------------------- /pysyrenn/frontend/tests/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/tests/BUILD -------------------------------------------------------------------------------- /pysyrenn/frontend/tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /pysyrenn/frontend/tests/argmax_layer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/tests/argmax_layer.py -------------------------------------------------------------------------------- /pysyrenn/frontend/tests/averagepool_layer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/tests/averagepool_layer.py -------------------------------------------------------------------------------- /pysyrenn/frontend/tests/concat_layer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/tests/concat_layer.py -------------------------------------------------------------------------------- /pysyrenn/frontend/tests/conv2d_layer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/tests/conv2d_layer.py -------------------------------------------------------------------------------- /pysyrenn/frontend/tests/fullyconnected_layer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/tests/fullyconnected_layer.py -------------------------------------------------------------------------------- /pysyrenn/frontend/tests/hard_tanh_layer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/tests/hard_tanh_layer.py -------------------------------------------------------------------------------- /pysyrenn/frontend/tests/layer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/tests/layer.py -------------------------------------------------------------------------------- /pysyrenn/frontend/tests/maxpool_layer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/tests/maxpool_layer.py -------------------------------------------------------------------------------- /pysyrenn/frontend/tests/network.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/tests/network.py -------------------------------------------------------------------------------- /pysyrenn/frontend/tests/normalize_layer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/tests/normalize_layer.py -------------------------------------------------------------------------------- /pysyrenn/frontend/tests/relu_layer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/tests/relu_layer.py -------------------------------------------------------------------------------- /pysyrenn/frontend/tests/strided_window_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/tests/strided_window_data.py -------------------------------------------------------------------------------- /pysyrenn/frontend/tests/transformer_client.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/tests/transformer_client.py -------------------------------------------------------------------------------- /pysyrenn/frontend/transformer_client.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/frontend/transformer_client.py -------------------------------------------------------------------------------- /pysyrenn/helpers/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/helpers/BUILD -------------------------------------------------------------------------------- /pysyrenn/helpers/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/helpers/README.md -------------------------------------------------------------------------------- /pysyrenn/helpers/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/helpers/__init__.py -------------------------------------------------------------------------------- /pysyrenn/helpers/classify_lines.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/helpers/classify_lines.py -------------------------------------------------------------------------------- /pysyrenn/helpers/classify_planes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/helpers/classify_planes.py -------------------------------------------------------------------------------- /pysyrenn/helpers/integrated_gradients.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/helpers/integrated_gradients.py -------------------------------------------------------------------------------- /pysyrenn/helpers/masking_network.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/helpers/masking_network.py -------------------------------------------------------------------------------- /pysyrenn/helpers/netpatch.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/helpers/netpatch.py -------------------------------------------------------------------------------- /pysyrenn/helpers/tests/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/helpers/tests/BUILD -------------------------------------------------------------------------------- /pysyrenn/helpers/tests/classify_lines.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/helpers/tests/classify_lines.py -------------------------------------------------------------------------------- /pysyrenn/helpers/tests/classify_planes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/helpers/tests/classify_planes.py -------------------------------------------------------------------------------- /pysyrenn/helpers/tests/integrated_gradients.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/pysyrenn/helpers/tests/integrated_gradients.py -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/requirements.txt -------------------------------------------------------------------------------- /scripts/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/scripts/README.md -------------------------------------------------------------------------------- /scripts/keras_to_syrenn.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/scripts/keras_to_syrenn.py -------------------------------------------------------------------------------- /scripts/keras_to_syrenn_example.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/scripts/keras_to_syrenn_example.py -------------------------------------------------------------------------------- /syrenn_proto/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_proto/BUILD -------------------------------------------------------------------------------- /syrenn_proto/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_proto/README.md -------------------------------------------------------------------------------- /syrenn_proto/syrenn.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_proto/syrenn.proto -------------------------------------------------------------------------------- /syrenn_server/.lvimrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/.lvimrc -------------------------------------------------------------------------------- /syrenn_server/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/BUILD -------------------------------------------------------------------------------- /syrenn_server/LayerSupport.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/LayerSupport.md -------------------------------------------------------------------------------- /syrenn_server/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/README.md -------------------------------------------------------------------------------- /syrenn_server/affine_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/affine_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/affine_transformer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/affine_transformer.h -------------------------------------------------------------------------------- /syrenn_server/argmax_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/argmax_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/argmax_transformer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/argmax_transformer.h -------------------------------------------------------------------------------- /syrenn_server/averagepool_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/averagepool_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/averagepool_transformer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/averagepool_transformer.h -------------------------------------------------------------------------------- /syrenn_server/concat_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/concat_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/concat_transformer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/concat_transformer.h -------------------------------------------------------------------------------- /syrenn_server/conv2d_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/conv2d_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/conv2d_transformer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/conv2d_transformer.h -------------------------------------------------------------------------------- /syrenn_server/fullyconnected_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/fullyconnected_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/fullyconnected_transformer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/fullyconnected_transformer.h -------------------------------------------------------------------------------- /syrenn_server/hard_tanh_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/hard_tanh_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/hard_tanh_transformer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/hard_tanh_transformer.h -------------------------------------------------------------------------------- /syrenn_server/maxpool_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/maxpool_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/maxpool_transformer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/maxpool_transformer.h -------------------------------------------------------------------------------- /syrenn_server/normalize_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/normalize_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/normalize_transformer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/normalize_transformer.h -------------------------------------------------------------------------------- /syrenn_server/pwl_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/pwl_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/pwl_transformer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/pwl_transformer.h -------------------------------------------------------------------------------- /syrenn_server/relu_maxpool_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/relu_maxpool_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/relu_maxpool_transformer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/relu_maxpool_transformer.h -------------------------------------------------------------------------------- /syrenn_server/relu_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/relu_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/relu_transformer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/relu_transformer.h -------------------------------------------------------------------------------- /syrenn_server/segmented_line.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/segmented_line.cc -------------------------------------------------------------------------------- /syrenn_server/segmented_line.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/segmented_line.h -------------------------------------------------------------------------------- /syrenn_server/server.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/server.cc -------------------------------------------------------------------------------- /syrenn_server/shared.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/shared.h -------------------------------------------------------------------------------- /syrenn_server/strided_window_data.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/strided_window_data.cc -------------------------------------------------------------------------------- /syrenn_server/strided_window_data.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/strided_window_data.h -------------------------------------------------------------------------------- /syrenn_server/tests/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/tests/BUILD -------------------------------------------------------------------------------- /syrenn_server/tests/affine_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/tests/affine_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/tests/argmax_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/tests/argmax_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/tests/averagepool_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/tests/averagepool_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/tests/concat_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/tests/concat_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/tests/conv2d_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/tests/conv2d_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/tests/fullyconnected_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/tests/fullyconnected_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/tests/hard_tanh_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/tests/hard_tanh_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/tests/maxpool_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/tests/maxpool_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/tests/normalize_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/tests/normalize_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/tests/pwl_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/tests/pwl_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/tests/relu_maxpool_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/tests/relu_maxpool_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/tests/relu_transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/tests/relu_transformer.cc -------------------------------------------------------------------------------- /syrenn_server/tests/segmented_line.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/tests/segmented_line.cc -------------------------------------------------------------------------------- /syrenn_server/tests/strided_window_data.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/tests/strided_window_data.cc -------------------------------------------------------------------------------- /syrenn_server/tests/upolytope.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/tests/upolytope.cc -------------------------------------------------------------------------------- /syrenn_server/transformer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/transformer.cc -------------------------------------------------------------------------------- /syrenn_server/transformer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/transformer.h -------------------------------------------------------------------------------- /syrenn_server/upolytope.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/upolytope.cc -------------------------------------------------------------------------------- /syrenn_server/upolytope.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/syrenn_server/upolytope.h -------------------------------------------------------------------------------- /third_party/BUILD: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /third_party/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/README.md -------------------------------------------------------------------------------- /third_party/eran_bmc/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/eran_bmc/BUILD -------------------------------------------------------------------------------- /third_party/eran_bmc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/eran_bmc/README.md -------------------------------------------------------------------------------- /third_party/eran_bmc/experiment.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/eran_bmc/experiment.py -------------------------------------------------------------------------------- /third_party/eran_bmc/experiment.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/eran_bmc/experiment.sh -------------------------------------------------------------------------------- /third_party/eran_preconditions/.gitignore: -------------------------------------------------------------------------------- 1 | *.png 2 | polar_image.py 3 | *.tgz 4 | -------------------------------------------------------------------------------- /third_party/eran_preconditions/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/eran_preconditions/BUILD -------------------------------------------------------------------------------- /third_party/eran_preconditions/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/eran_preconditions/Dockerfile -------------------------------------------------------------------------------- /third_party/eran_preconditions/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/eran_preconditions/README.md -------------------------------------------------------------------------------- /third_party/eran_preconditions/experiment.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/eran_preconditions/experiment.py -------------------------------------------------------------------------------- /third_party/eran_preconditions/experiment.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/eran_preconditions/experiment.sh -------------------------------------------------------------------------------- /third_party/eran_preconditions/install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/eran_preconditions/install.sh -------------------------------------------------------------------------------- /third_party/marabou_model_checking/.gitignore: -------------------------------------------------------------------------------- 1 | *.tgz 2 | -------------------------------------------------------------------------------- /third_party/marabou_model_checking/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/marabou_model_checking/BUILD -------------------------------------------------------------------------------- /third_party/marabou_model_checking/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/marabou_model_checking/Dockerfile -------------------------------------------------------------------------------- /third_party/marabou_model_checking/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/marabou_model_checking/Makefile -------------------------------------------------------------------------------- /third_party/marabou_model_checking/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/marabou_model_checking/README.md -------------------------------------------------------------------------------- /third_party/marabou_model_checking/bmc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/marabou_model_checking/bmc.cpp -------------------------------------------------------------------------------- /third_party/marabou_model_checking/experiment.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/marabou_model_checking/experiment.sh -------------------------------------------------------------------------------- /third_party/reluplex_model_checking/.gitignore: -------------------------------------------------------------------------------- 1 | *.tgz 2 | -------------------------------------------------------------------------------- /third_party/reluplex_model_checking/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/reluplex_model_checking/BUILD -------------------------------------------------------------------------------- /third_party/reluplex_model_checking/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/reluplex_model_checking/Dockerfile -------------------------------------------------------------------------------- /third_party/reluplex_model_checking/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/reluplex_model_checking/Makefile -------------------------------------------------------------------------------- /third_party/reluplex_model_checking/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/reluplex_model_checking/README.md -------------------------------------------------------------------------------- /third_party/reluplex_model_checking/bmc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/reluplex_model_checking/bmc.cpp -------------------------------------------------------------------------------- /third_party/reluplex_model_checking/experiment.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/reluplex_model_checking/experiment.sh -------------------------------------------------------------------------------- /third_party/reluplex_model_checking/export_specs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/reluplex_model_checking/export_specs.py -------------------------------------------------------------------------------- /third_party/reluplex_model_checking/run_model.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/95616ARG/SyReNN/HEAD/third_party/reluplex_model_checking/run_model.sh --------------------------------------------------------------------------------