├── CONTACT.md ├── DiffNN-Code ├── HAR_tests.h ├── delta_network_test.c ├── interval.h ├── makefile ├── matrix.c ├── matrix.h ├── mnist_tests.h ├── nnet.c ├── nnet.h ├── nnet │ ├── ACASXU_run2a_1_1_batch_2000.nnet │ ├── ACASXU_run2a_1_2_batch_2000.nnet │ ├── ACASXU_run2a_1_3_batch_2000.nnet │ ├── ACASXU_run2a_1_4_batch_2000.nnet │ ├── ACASXU_run2a_1_5_batch_2000.nnet │ ├── ACASXU_run2a_1_6_batch_2000.nnet │ ├── ACASXU_run2a_1_7_batch_2000.nnet │ ├── ACASXU_run2a_1_8_batch_2000.nnet │ ├── ACASXU_run2a_1_9_batch_2000.nnet │ ├── ACASXU_run2a_2_1_batch_2000.nnet │ ├── ACASXU_run2a_2_2_batch_2000.nnet │ ├── ACASXU_run2a_2_3_batch_2000.nnet │ ├── ACASXU_run2a_2_4_batch_2000.nnet │ ├── ACASXU_run2a_2_5_batch_2000.nnet │ ├── ACASXU_run2a_2_6_batch_2000.nnet │ ├── ACASXU_run2a_2_7_batch_2000.nnet │ ├── ACASXU_run2a_2_8_batch_2000.nnet │ ├── ACASXU_run2a_2_9_batch_2000.nnet │ ├── ACASXU_run2a_3_1_batch_2000.nnet │ ├── ACASXU_run2a_3_2_batch_2000.nnet │ ├── ACASXU_run2a_3_3_batch_2000.nnet │ ├── ACASXU_run2a_3_4_batch_2000.nnet │ ├── ACASXU_run2a_3_5_batch_2000.nnet │ ├── ACASXU_run2a_3_6_batch_2000.nnet │ ├── ACASXU_run2a_3_7_batch_2000.nnet │ ├── ACASXU_run2a_3_8_batch_2000.nnet │ ├── ACASXU_run2a_3_9_batch_2000.nnet │ ├── ACASXU_run2a_4_1_batch_2000.nnet │ ├── ACASXU_run2a_4_2_batch_2000.nnet │ ├── ACASXU_run2a_4_3_batch_2000.nnet │ ├── ACASXU_run2a_4_4_batch_2000.nnet │ ├── ACASXU_run2a_4_5_batch_2000.nnet │ ├── ACASXU_run2a_4_6_batch_2000.nnet │ ├── ACASXU_run2a_4_7_batch_2000.nnet │ ├── ACASXU_run2a_4_8_batch_2000.nnet │ ├── ACASXU_run2a_4_9_batch_2000.nnet │ ├── ACASXU_run2a_5_1_batch_2000.nnet │ ├── ACASXU_run2a_5_2_batch_2000.nnet │ ├── ACASXU_run2a_5_3_batch_2000.nnet │ ├── ACASXU_run2a_5_4_batch_2000.nnet │ ├── ACASXU_run2a_5_5_batch_2000.nnet │ ├── ACASXU_run2a_5_6_batch_2000.nnet │ ├── ACASXU_run2a_5_7_batch_2000.nnet │ ├── ACASXU_run2a_5_8_batch_2000.nnet │ ├── ACASXU_run2a_5_9_batch_2000.nnet │ ├── HAR.nnet │ ├── b2layer_unquantized.nnet │ ├── mnist_relu_2_512.nnet │ ├── mnist_relu_3_100.nnet │ ├── mnist_relu_4_1024.nnet │ └── refine_motex.nnet ├── python │ ├── __init__.py │ ├── common.py │ ├── make_HAR_properties.py │ ├── make_mnist_properties.py │ ├── round_nnet.py │ └── subtract_nnets.py ├── scripts │ ├── make_all_compressed_nnets.sh │ ├── make_compressed_ACAS_nnets.sh │ ├── make_compressed_HAR_nnet.sh │ ├── make_compressed_mnist_nnets.sh │ ├── run_ACAS_artifact.sh │ ├── run_ACAS_exec-time_experiments.sh │ ├── run_ACAS_prop4_depth_exp.sh │ ├── run_HAR_artifact.sh │ ├── run_HAR_exec-time_experiments.sh │ ├── run_MNIST-3pix_artifact.sh │ ├── run_MNIST-3pix_exec-time_experiments.sh │ ├── run_MNIST-global_artifact.sh │ └── run_MNIST-global_exec-time_experiments.sh ├── split.c └── split.h ├── INSTALL.md ├── LICENSE.md ├── README.md ├── ReluVal-for-comparison ├── HAR_tests.h ├── interval.h ├── makefile ├── matrix.c ├── matrix.h ├── mnist_tests.h ├── network_test.c ├── nnet.c ├── nnet.h ├── scripts │ ├── run_ACAS_artifact.sh │ ├── run_ACAS_exec-time_experiment.sh │ ├── run_ACAS_prop4_depth_exp.sh │ ├── run_HAR_artifact.sh │ ├── run_HAR_exec-time_experiments.sh │ ├── run_MNIST-3pix_artifact.sh │ ├── run_MNIST-3pix_exec-time_experiments.sh │ ├── run_MNIST-global_artifact.sh │ └── run_MNIST-global_exec-time_experiments.sh ├── split.c └── split.h ├── STATUS.md ├── eran ├── ELINA │ ├── Makefile │ ├── Makefile.config │ ├── apron_interface │ │ ├── Makefile │ │ └── apron_wrapper.h │ ├── configure │ ├── elina_auxiliary │ │ ├── Makefile │ │ ├── coeff_test.c │ │ ├── elina_abstract0.c │ │ ├── elina_abstract0.h │ │ ├── elina_coeff.c │ │ ├── elina_coeff.h │ │ ├── elina_config.h │ │ ├── elina_dimension.c │ │ ├── elina_dimension.h │ │ ├── elina_interval.c │ │ ├── elina_interval.h │ │ ├── elina_lincons0.c │ │ ├── elina_lincons0.h │ │ ├── elina_linexpr0.c │ │ ├── elina_linexpr0.h │ │ ├── elina_manager.c │ │ ├── elina_manager.h │ │ ├── elina_scalar.c │ │ ├── elina_scalar.h │ │ ├── elina_tcons0.c │ │ ├── elina_tcons0.h │ │ ├── elina_texpr0.c │ │ └── elina_texpr0.h │ ├── elina_linearize │ │ ├── Makefile │ │ ├── elina_coeff_arith.c │ │ ├── elina_coeff_arith.h │ │ ├── elina_generic.c │ │ ├── elina_generic.h │ │ ├── elina_int.h │ │ ├── elina_interval_arith.c │ │ ├── elina_interval_arith.h │ │ ├── elina_linearize.c │ │ ├── elina_linearize.h │ │ ├── elina_linearize_texpr.c │ │ ├── elina_linearize_texpr.h │ │ ├── elina_linexpr0_arith.c │ │ ├── elina_linexpr0_arith.h │ │ ├── elina_rat.h │ │ ├── elina_scalar_arith.c │ │ └── elina_scalar_arith.h │ ├── elina_oct │ │ ├── Makefile │ │ ├── elina_test_oct.c │ │ ├── opt_oct.h │ │ ├── opt_oct_closure_comp_sparse.c │ │ ├── opt_oct_closure_comp_sparse.h │ │ ├── opt_oct_closure_dense.c │ │ ├── opt_oct_closure_dense.h │ │ ├── opt_oct_closure_dense_scalar.c │ │ ├── opt_oct_closure_dense_scalar.h │ │ ├── opt_oct_hmat.c │ │ ├── opt_oct_hmat.h │ │ ├── opt_oct_incr_closure_comp_sparse.c │ │ ├── opt_oct_incr_closure_comp_sparse.h │ │ ├── opt_oct_incr_closure_dense.c │ │ ├── opt_oct_incr_closure_dense.h │ │ ├── opt_oct_incr_closure_dense_scalar.c │ │ ├── opt_oct_incr_closure_dense_scalar.h │ │ ├── opt_oct_internal.h │ │ ├── opt_oct_nary.c │ │ ├── opt_oct_predicate.c │ │ ├── opt_oct_representation.c │ │ ├── opt_oct_resize.c │ │ ├── opt_oct_test.c │ │ ├── opt_oct_transfer.c │ │ └── vector_intrin.h │ ├── elina_poly │ │ ├── Makefile │ │ ├── elina_test_poly.c │ │ ├── opt_mf_qsort.c │ │ ├── opt_mf_qsort.h │ │ ├── opt_pk.h │ │ ├── opt_pk_assign.c │ │ ├── opt_pk_assign.h │ │ ├── opt_pk_bit.c │ │ ├── opt_pk_bit.h │ │ ├── opt_pk_cherni.c │ │ ├── opt_pk_cherni.h │ │ ├── opt_pk_config.h │ │ ├── opt_pk_constructor.c │ │ ├── opt_pk_constructor.h │ │ ├── opt_pk_expandfold.c │ │ ├── opt_pk_extract.c │ │ ├── opt_pk_internal.c │ │ ├── opt_pk_internal.h │ │ ├── opt_pk_matrix.c │ │ ├── opt_pk_matrix.h │ │ ├── opt_pk_meetjoin.c │ │ ├── opt_pk_meetjoin.h │ │ ├── opt_pk_project.c │ │ ├── opt_pk_project.h │ │ ├── opt_pk_representation.c │ │ ├── opt_pk_representation.h │ │ ├── opt_pk_resize.c │ │ ├── opt_pk_satmat.c │ │ ├── opt_pk_satmat.h │ │ ├── opt_pk_test.c │ │ ├── opt_pk_test.h │ │ ├── opt_pk_user.c │ │ ├── opt_pk_user.h │ │ ├── opt_pk_vector.c │ │ ├── opt_pk_vector.h │ │ ├── opt_pk_widening.c │ │ ├── opt_pk_widening.h │ │ └── vector_intrin.h │ ├── elina_zones │ │ ├── Makefile │ │ ├── opt_mat.c │ │ ├── opt_mat.h │ │ ├── opt_zones.h │ │ ├── opt_zones_closure.c │ │ ├── opt_zones_closure.h │ │ ├── opt_zones_incr_closure.c │ │ ├── opt_zones_incr_closure.h │ │ ├── opt_zones_internal.h │ │ ├── opt_zones_nary.c │ │ ├── opt_zones_predicate.c │ │ ├── opt_zones_representation.c │ │ ├── opt_zones_resize.c │ │ ├── opt_zones_transfer.c │ │ └── vector_intrin.h │ ├── elina_zonotope │ │ ├── Makefile │ │ ├── elina_box.h │ │ ├── elina_box_assign.c │ │ ├── elina_box_assign.h │ │ ├── elina_box_constructor.c │ │ ├── elina_box_constructor.h │ │ ├── elina_box_internal.c │ │ ├── elina_box_internal.h │ │ ├── elina_box_meetjoin.c │ │ ├── elina_box_meetjoin.h │ │ ├── elina_box_representation.c │ │ ├── elina_box_representation.h │ │ ├── elina_box_resize.c │ │ ├── elina_box_resize.h │ │ ├── elina_test_zonotope.c │ │ ├── zonotope.h │ │ ├── zonotope_assign.c │ │ ├── zonotope_assign.h │ │ ├── zonotope_constructor.c │ │ ├── zonotope_constructor.h │ │ ├── zonotope_internal.c │ │ ├── zonotope_internal.h │ │ ├── zonotope_meetjoin.c │ │ ├── zonotope_meetjoin.h │ │ ├── zonotope_otherops.c │ │ ├── zonotope_otherops.h │ │ ├── zonotope_representation.c │ │ ├── zonotope_representation.h │ │ ├── zonotope_resize.c │ │ └── zonotope_resize.h │ ├── fppoly │ │ ├── Makefile │ │ ├── fppoly.c │ │ └── fppoly.h │ ├── java_interface │ │ ├── Makefile │ │ └── elina │ │ │ ├── OptOctagon.java │ │ │ ├── OptPoly.java │ │ │ ├── Test.java │ │ │ ├── elina_OptOctagon.c │ │ │ ├── elina_OptPoly.c │ │ │ └── elina_Test.h │ ├── ocaml_interface │ │ ├── META │ │ ├── Makefile │ │ ├── elina_poly.idl │ │ ├── mlexample.ml │ │ ├── perlscript_caml.pl │ │ └── vars.mk │ ├── opam │ ├── partitions_api │ │ ├── Makefile │ │ ├── array_comp_list.c │ │ ├── comp_list.c │ │ ├── comp_list.h │ │ ├── extract.c │ │ ├── intersection.c │ │ ├── rdtsc.h │ │ └── union.c │ ├── python_interface │ │ ├── __pycache__ │ │ │ ├── elina_abstract0.cpython-35.pyc │ │ │ ├── elina_abstract0_h.cpython-35.pyc │ │ │ ├── elina_auxiliary_imports.cpython-35.pyc │ │ │ ├── elina_coeff_h.cpython-35.pyc │ │ │ ├── elina_dimension.cpython-35.pyc │ │ │ ├── elina_dimension_h.cpython-35.pyc │ │ │ ├── elina_interval.cpython-35.pyc │ │ │ ├── elina_interval_h.cpython-35.pyc │ │ │ ├── elina_lincons0_h.cpython-35.pyc │ │ │ ├── elina_linexpr0.cpython-35.pyc │ │ │ ├── elina_linexpr0_h.cpython-35.pyc │ │ │ ├── elina_manager.cpython-35.pyc │ │ │ ├── elina_manager_h.cpython-35.pyc │ │ │ ├── elina_scalar_h.cpython-35.pyc │ │ │ ├── elina_tcons0_h.cpython-35.pyc │ │ │ ├── elina_texpr0_h.cpython-35.pyc │ │ │ ├── fppoly.cpython-35.pyc │ │ │ ├── fppoly_imports.cpython-35.pyc │ │ │ ├── zonoml.cpython-35.pyc │ │ │ └── zonoml_imports.cpython-35.pyc │ │ ├── elina_abstract0.py │ │ ├── elina_abstract0_h.py │ │ ├── elina_auxiliary_imports.py │ │ ├── elina_auxiliary_imports.pyc │ │ ├── elina_coeff.py │ │ ├── elina_coeff_h.py │ │ ├── elina_dimension.py │ │ ├── elina_dimension_h.py │ │ ├── elina_interval.py │ │ ├── elina_interval_h.py │ │ ├── elina_lincons0.py │ │ ├── elina_lincons0_h.py │ │ ├── elina_linexpr0.py │ │ ├── elina_linexpr0_h.py │ │ ├── elina_manager.py │ │ ├── elina_manager_h.py │ │ ├── elina_scalar.py │ │ ├── elina_scalar.pyc │ │ ├── elina_scalar_h.py │ │ ├── elina_scalar_h.pyc │ │ ├── elina_tcons.py │ │ ├── elina_tcons0_h.py │ │ ├── elina_texpr0.py │ │ ├── elina_texpr0_h.py │ │ ├── fppoly.py │ │ ├── fppoly_imports.py │ │ ├── opt_oct.py │ │ ├── opt_oct_imports.py │ │ ├── opt_pk.py │ │ ├── opt_pk_imports.py │ │ ├── test_fppoly.py │ │ ├── tests │ │ │ ├── coeff_test.c │ │ │ ├── coeff_test.py │ │ │ ├── elina_oct_test.py │ │ │ ├── elina_pk_test.py │ │ │ ├── interval_test.c │ │ │ ├── interval_test.py │ │ │ ├── lincons0_test.c │ │ │ ├── lincons0_test.py │ │ │ ├── linexpr0_test.c │ │ │ ├── linexpr0_test.py │ │ │ ├── oct_test.py │ │ │ ├── pk_test.py │ │ │ ├── scalar_test.c │ │ │ ├── scalar_test.py │ │ │ └── test_imports.py │ │ ├── zonoml.py │ │ └── zonoml_imports.py │ ├── rdtsc.h │ └── zonoml │ │ ├── Makefile │ │ ├── elina_test_zonoml.c │ │ ├── zonoml.h │ │ ├── zonoml_fun.c │ │ ├── zonoml_fun.h │ │ ├── zonoml_internal.c │ │ ├── zonoml_internal.h │ │ ├── zonoml_reduced_product.c │ │ └── zonoml_reduced_product.h ├── NNet │ ├── nnet │ │ ├── ACASXU_run2a_1_1_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_1_2_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_1_3_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_1_4_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_1_5_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_1_6_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_1_7_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_1_8_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_1_9_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_2_1_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_2_2_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_2_3_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_2_4_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_2_5_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_2_6_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_2_7_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_2_8_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_2_9_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_3_1_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_3_2_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_3_3_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_3_4_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_3_5_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_3_6_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_3_7_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_3_8_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_3_9_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_4_1_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_4_2_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_4_3_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_4_4_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_4_5_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_4_6_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_4_7_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_4_8_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_4_9_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_5_1_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_5_2_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_5_3_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_5_4_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_5_5_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_5_6_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_5_7_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_5_8_batch_2000_16bit.pyt │ │ ├── ACASXU_run2a_5_9_batch_2000_16bit.pyt │ │ ├── HAR_16bit.pyt │ │ ├── mnist_relu_2_512_16bit.pyt │ │ ├── mnist_relu_3_100_16bit.pyt │ │ └── mnist_relu_4_1024_16bit.pyt │ ├── python │ │ ├── __init__.py │ │ ├── example.py │ │ └── nnet.py │ └── utils │ │ ├── __init__.py │ │ ├── normalizeNNet.py │ │ ├── readNNet.py │ │ ├── subbed_nnet2pyt.py │ │ └── writeNNet.py ├── data │ ├── cifar10_test.csv │ ├── har_test.csv │ └── mnist_test.csv ├── install.sh └── tf_verify │ ├── analyzer.py │ ├── deeppoly_nodes.py │ ├── deepzono_milp.py │ ├── deepzono_nodes.py │ ├── diff_analysis.py │ ├── diff_analysis_artifact.py │ ├── eran.py │ ├── eranlayers.py │ ├── optimizer.py │ ├── read_net_file.py │ └── tensorflow_translator.py └── install_OpenBLAS.sh /CONTACT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/CONTACT.md -------------------------------------------------------------------------------- /DiffNN-Code/HAR_tests.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/HAR_tests.h -------------------------------------------------------------------------------- /DiffNN-Code/delta_network_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/delta_network_test.c -------------------------------------------------------------------------------- /DiffNN-Code/interval.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/interval.h -------------------------------------------------------------------------------- /DiffNN-Code/makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/makefile -------------------------------------------------------------------------------- /DiffNN-Code/matrix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/matrix.c -------------------------------------------------------------------------------- /DiffNN-Code/matrix.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/matrix.h -------------------------------------------------------------------------------- /DiffNN-Code/mnist_tests.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/mnist_tests.h -------------------------------------------------------------------------------- /DiffNN-Code/nnet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet.c -------------------------------------------------------------------------------- /DiffNN-Code/nnet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet.h -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_1_1_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_1_1_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_1_2_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_1_2_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_1_3_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_1_3_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_1_4_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_1_4_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_1_5_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_1_5_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_1_6_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_1_6_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_1_7_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_1_7_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_1_8_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_1_8_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_1_9_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_1_9_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_2_1_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_2_1_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_2_2_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_2_2_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_2_3_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_2_3_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_2_4_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_2_4_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_2_5_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_2_5_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_2_6_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_2_6_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_2_7_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_2_7_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_2_8_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_2_8_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_2_9_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_2_9_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_3_1_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_3_1_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_3_2_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_3_2_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_3_3_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_3_3_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_3_4_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_3_4_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_3_5_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_3_5_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_3_6_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_3_6_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_3_7_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_3_7_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_3_8_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_3_8_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_3_9_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_3_9_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_4_1_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_4_1_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_4_2_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_4_2_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_4_3_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_4_3_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_4_4_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_4_4_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_4_5_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_4_5_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_4_6_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_4_6_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_4_7_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_4_7_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_4_8_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_4_8_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_4_9_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_4_9_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_5_1_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_5_1_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_5_2_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_5_2_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_5_3_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_5_3_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_5_4_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_5_4_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_5_5_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_5_5_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_5_6_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_5_6_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_5_7_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_5_7_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_5_8_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_5_8_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/ACASXU_run2a_5_9_batch_2000.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/ACASXU_run2a_5_9_batch_2000.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/HAR.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/HAR.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/b2layer_unquantized.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/b2layer_unquantized.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/mnist_relu_2_512.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/mnist_relu_2_512.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/mnist_relu_3_100.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/mnist_relu_3_100.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/mnist_relu_4_1024.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/mnist_relu_4_1024.nnet -------------------------------------------------------------------------------- /DiffNN-Code/nnet/refine_motex.nnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/nnet/refine_motex.nnet -------------------------------------------------------------------------------- /DiffNN-Code/python/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /DiffNN-Code/python/common.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/python/common.py -------------------------------------------------------------------------------- /DiffNN-Code/python/make_HAR_properties.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/python/make_HAR_properties.py -------------------------------------------------------------------------------- /DiffNN-Code/python/make_mnist_properties.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/python/make_mnist_properties.py -------------------------------------------------------------------------------- /DiffNN-Code/python/round_nnet.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/python/round_nnet.py -------------------------------------------------------------------------------- /DiffNN-Code/python/subtract_nnets.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/python/subtract_nnets.py -------------------------------------------------------------------------------- /DiffNN-Code/scripts/make_all_compressed_nnets.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/scripts/make_all_compressed_nnets.sh -------------------------------------------------------------------------------- /DiffNN-Code/scripts/make_compressed_ACAS_nnets.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/scripts/make_compressed_ACAS_nnets.sh -------------------------------------------------------------------------------- /DiffNN-Code/scripts/make_compressed_HAR_nnet.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/scripts/make_compressed_HAR_nnet.sh -------------------------------------------------------------------------------- /DiffNN-Code/scripts/make_compressed_mnist_nnets.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/scripts/make_compressed_mnist_nnets.sh -------------------------------------------------------------------------------- /DiffNN-Code/scripts/run_ACAS_artifact.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/scripts/run_ACAS_artifact.sh -------------------------------------------------------------------------------- /DiffNN-Code/scripts/run_ACAS_exec-time_experiments.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/scripts/run_ACAS_exec-time_experiments.sh -------------------------------------------------------------------------------- /DiffNN-Code/scripts/run_ACAS_prop4_depth_exp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/scripts/run_ACAS_prop4_depth_exp.sh -------------------------------------------------------------------------------- /DiffNN-Code/scripts/run_HAR_artifact.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/scripts/run_HAR_artifact.sh -------------------------------------------------------------------------------- /DiffNN-Code/scripts/run_HAR_exec-time_experiments.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/scripts/run_HAR_exec-time_experiments.sh -------------------------------------------------------------------------------- /DiffNN-Code/scripts/run_MNIST-3pix_artifact.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/scripts/run_MNIST-3pix_artifact.sh -------------------------------------------------------------------------------- /DiffNN-Code/scripts/run_MNIST-3pix_exec-time_experiments.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/scripts/run_MNIST-3pix_exec-time_experiments.sh -------------------------------------------------------------------------------- /DiffNN-Code/scripts/run_MNIST-global_artifact.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/scripts/run_MNIST-global_artifact.sh -------------------------------------------------------------------------------- /DiffNN-Code/scripts/run_MNIST-global_exec-time_experiments.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/scripts/run_MNIST-global_exec-time_experiments.sh -------------------------------------------------------------------------------- /DiffNN-Code/split.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/split.c -------------------------------------------------------------------------------- /DiffNN-Code/split.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/DiffNN-Code/split.h -------------------------------------------------------------------------------- /INSTALL.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/INSTALL.md -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/README.md -------------------------------------------------------------------------------- /ReluVal-for-comparison/HAR_tests.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/ReluVal-for-comparison/HAR_tests.h -------------------------------------------------------------------------------- /ReluVal-for-comparison/interval.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/ReluVal-for-comparison/interval.h -------------------------------------------------------------------------------- /ReluVal-for-comparison/makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/ReluVal-for-comparison/makefile -------------------------------------------------------------------------------- /ReluVal-for-comparison/matrix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/ReluVal-for-comparison/matrix.c -------------------------------------------------------------------------------- /ReluVal-for-comparison/matrix.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/ReluVal-for-comparison/matrix.h -------------------------------------------------------------------------------- /ReluVal-for-comparison/mnist_tests.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/ReluVal-for-comparison/mnist_tests.h -------------------------------------------------------------------------------- /ReluVal-for-comparison/network_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/ReluVal-for-comparison/network_test.c -------------------------------------------------------------------------------- /ReluVal-for-comparison/nnet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/ReluVal-for-comparison/nnet.c -------------------------------------------------------------------------------- /ReluVal-for-comparison/nnet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/ReluVal-for-comparison/nnet.h -------------------------------------------------------------------------------- /ReluVal-for-comparison/scripts/run_ACAS_artifact.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/ReluVal-for-comparison/scripts/run_ACAS_artifact.sh -------------------------------------------------------------------------------- /ReluVal-for-comparison/scripts/run_ACAS_exec-time_experiment.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/ReluVal-for-comparison/scripts/run_ACAS_exec-time_experiment.sh -------------------------------------------------------------------------------- /ReluVal-for-comparison/scripts/run_ACAS_prop4_depth_exp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/ReluVal-for-comparison/scripts/run_ACAS_prop4_depth_exp.sh -------------------------------------------------------------------------------- /ReluVal-for-comparison/scripts/run_HAR_artifact.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/ReluVal-for-comparison/scripts/run_HAR_artifact.sh -------------------------------------------------------------------------------- /ReluVal-for-comparison/scripts/run_HAR_exec-time_experiments.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/ReluVal-for-comparison/scripts/run_HAR_exec-time_experiments.sh -------------------------------------------------------------------------------- /ReluVal-for-comparison/scripts/run_MNIST-3pix_artifact.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/ReluVal-for-comparison/scripts/run_MNIST-3pix_artifact.sh -------------------------------------------------------------------------------- /ReluVal-for-comparison/scripts/run_MNIST-3pix_exec-time_experiments.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/ReluVal-for-comparison/scripts/run_MNIST-3pix_exec-time_experiments.sh -------------------------------------------------------------------------------- /ReluVal-for-comparison/scripts/run_MNIST-global_artifact.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/ReluVal-for-comparison/scripts/run_MNIST-global_artifact.sh -------------------------------------------------------------------------------- /ReluVal-for-comparison/scripts/run_MNIST-global_exec-time_experiments.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/ReluVal-for-comparison/scripts/run_MNIST-global_exec-time_experiments.sh -------------------------------------------------------------------------------- /ReluVal-for-comparison/split.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/ReluVal-for-comparison/split.c -------------------------------------------------------------------------------- /ReluVal-for-comparison/split.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/ReluVal-for-comparison/split.h -------------------------------------------------------------------------------- /STATUS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/STATUS.md -------------------------------------------------------------------------------- /eran/ELINA/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/Makefile -------------------------------------------------------------------------------- /eran/ELINA/Makefile.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/Makefile.config -------------------------------------------------------------------------------- /eran/ELINA/apron_interface/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/apron_interface/Makefile -------------------------------------------------------------------------------- /eran/ELINA/apron_interface/apron_wrapper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/apron_interface/apron_wrapper.h -------------------------------------------------------------------------------- /eran/ELINA/configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/configure -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/Makefile -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/coeff_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/coeff_test.c -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/elina_abstract0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/elina_abstract0.c -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/elina_abstract0.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/elina_abstract0.h -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/elina_coeff.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/elina_coeff.c -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/elina_coeff.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/elina_coeff.h -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/elina_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/elina_config.h -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/elina_dimension.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/elina_dimension.c -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/elina_dimension.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/elina_dimension.h -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/elina_interval.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/elina_interval.c -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/elina_interval.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/elina_interval.h -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/elina_lincons0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/elina_lincons0.c -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/elina_lincons0.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/elina_lincons0.h -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/elina_linexpr0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/elina_linexpr0.c -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/elina_linexpr0.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/elina_linexpr0.h -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/elina_manager.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/elina_manager.c -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/elina_manager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/elina_manager.h -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/elina_scalar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/elina_scalar.c -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/elina_scalar.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/elina_scalar.h -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/elina_tcons0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/elina_tcons0.c -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/elina_tcons0.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/elina_tcons0.h -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/elina_texpr0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/elina_texpr0.c -------------------------------------------------------------------------------- /eran/ELINA/elina_auxiliary/elina_texpr0.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_auxiliary/elina_texpr0.h -------------------------------------------------------------------------------- /eran/ELINA/elina_linearize/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_linearize/Makefile -------------------------------------------------------------------------------- /eran/ELINA/elina_linearize/elina_coeff_arith.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_linearize/elina_coeff_arith.c -------------------------------------------------------------------------------- /eran/ELINA/elina_linearize/elina_coeff_arith.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_linearize/elina_coeff_arith.h -------------------------------------------------------------------------------- /eran/ELINA/elina_linearize/elina_generic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_linearize/elina_generic.c -------------------------------------------------------------------------------- /eran/ELINA/elina_linearize/elina_generic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_linearize/elina_generic.h -------------------------------------------------------------------------------- /eran/ELINA/elina_linearize/elina_int.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_linearize/elina_int.h -------------------------------------------------------------------------------- /eran/ELINA/elina_linearize/elina_interval_arith.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_linearize/elina_interval_arith.c -------------------------------------------------------------------------------- /eran/ELINA/elina_linearize/elina_interval_arith.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_linearize/elina_interval_arith.h -------------------------------------------------------------------------------- /eran/ELINA/elina_linearize/elina_linearize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_linearize/elina_linearize.c -------------------------------------------------------------------------------- /eran/ELINA/elina_linearize/elina_linearize.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_linearize/elina_linearize.h -------------------------------------------------------------------------------- /eran/ELINA/elina_linearize/elina_linearize_texpr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_linearize/elina_linearize_texpr.c -------------------------------------------------------------------------------- /eran/ELINA/elina_linearize/elina_linearize_texpr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_linearize/elina_linearize_texpr.h -------------------------------------------------------------------------------- /eran/ELINA/elina_linearize/elina_linexpr0_arith.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_linearize/elina_linexpr0_arith.c -------------------------------------------------------------------------------- /eran/ELINA/elina_linearize/elina_linexpr0_arith.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_linearize/elina_linexpr0_arith.h -------------------------------------------------------------------------------- /eran/ELINA/elina_linearize/elina_rat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_linearize/elina_rat.h -------------------------------------------------------------------------------- /eran/ELINA/elina_linearize/elina_scalar_arith.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_linearize/elina_scalar_arith.c -------------------------------------------------------------------------------- /eran/ELINA/elina_linearize/elina_scalar_arith.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_linearize/elina_scalar_arith.h -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/Makefile -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/elina_test_oct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/elina_test_oct.c -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct.h -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct_closure_comp_sparse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct_closure_comp_sparse.c -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct_closure_comp_sparse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct_closure_comp_sparse.h -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct_closure_dense.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct_closure_dense.c -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct_closure_dense.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct_closure_dense.h -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct_closure_dense_scalar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct_closure_dense_scalar.c -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct_closure_dense_scalar.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct_closure_dense_scalar.h -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct_hmat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct_hmat.c -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct_hmat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct_hmat.h -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct_incr_closure_comp_sparse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct_incr_closure_comp_sparse.c -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct_incr_closure_comp_sparse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct_incr_closure_comp_sparse.h -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct_incr_closure_dense.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct_incr_closure_dense.c -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct_incr_closure_dense.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct_incr_closure_dense.h -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct_incr_closure_dense_scalar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct_incr_closure_dense_scalar.c -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct_incr_closure_dense_scalar.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct_incr_closure_dense_scalar.h -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct_internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct_internal.h -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct_nary.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct_nary.c -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct_predicate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct_predicate.c -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct_representation.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct_representation.c -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct_resize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct_resize.c -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct_test.c -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/opt_oct_transfer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/opt_oct_transfer.c -------------------------------------------------------------------------------- /eran/ELINA/elina_oct/vector_intrin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_oct/vector_intrin.h -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/Makefile -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/elina_test_poly.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/elina_test_poly.c -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_mf_qsort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_mf_qsort.c -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_mf_qsort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_mf_qsort.h -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk.h -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_assign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_assign.c -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_assign.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_assign.h -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_bit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_bit.c -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_bit.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_bit.h -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_cherni.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_cherni.c -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_cherni.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_cherni.h -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_config.h -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_constructor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_constructor.c -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_constructor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_constructor.h -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_expandfold.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_expandfold.c -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_extract.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_extract.c -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_internal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_internal.c -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_internal.h -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_matrix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_matrix.c -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_matrix.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_matrix.h -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_meetjoin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_meetjoin.c -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_meetjoin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_meetjoin.h -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_project.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_project.c -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_project.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_project.h -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_representation.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_representation.c -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_representation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_representation.h -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_resize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_resize.c -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_satmat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_satmat.c -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_satmat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_satmat.h -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_test.c -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_test.h -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_user.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_user.c -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_user.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_user.h -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_vector.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_vector.c -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_vector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_vector.h -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_widening.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_widening.c -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/opt_pk_widening.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/opt_pk_widening.h -------------------------------------------------------------------------------- /eran/ELINA/elina_poly/vector_intrin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_poly/vector_intrin.h -------------------------------------------------------------------------------- /eran/ELINA/elina_zones/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zones/Makefile -------------------------------------------------------------------------------- /eran/ELINA/elina_zones/opt_mat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zones/opt_mat.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zones/opt_mat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zones/opt_mat.h -------------------------------------------------------------------------------- /eran/ELINA/elina_zones/opt_zones.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zones/opt_zones.h -------------------------------------------------------------------------------- /eran/ELINA/elina_zones/opt_zones_closure.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zones/opt_zones_closure.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zones/opt_zones_closure.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zones/opt_zones_closure.h -------------------------------------------------------------------------------- /eran/ELINA/elina_zones/opt_zones_incr_closure.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zones/opt_zones_incr_closure.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zones/opt_zones_incr_closure.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zones/opt_zones_incr_closure.h -------------------------------------------------------------------------------- /eran/ELINA/elina_zones/opt_zones_internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zones/opt_zones_internal.h -------------------------------------------------------------------------------- /eran/ELINA/elina_zones/opt_zones_nary.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zones/opt_zones_nary.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zones/opt_zones_predicate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zones/opt_zones_predicate.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zones/opt_zones_representation.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zones/opt_zones_representation.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zones/opt_zones_resize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zones/opt_zones_resize.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zones/opt_zones_transfer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zones/opt_zones_transfer.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zones/vector_intrin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zones/vector_intrin.h -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/Makefile -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/elina_box.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/elina_box.h -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/elina_box_assign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/elina_box_assign.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/elina_box_assign.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/elina_box_assign.h -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/elina_box_constructor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/elina_box_constructor.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/elina_box_constructor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/elina_box_constructor.h -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/elina_box_internal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/elina_box_internal.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/elina_box_internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/elina_box_internal.h -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/elina_box_meetjoin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/elina_box_meetjoin.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/elina_box_meetjoin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/elina_box_meetjoin.h -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/elina_box_representation.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/elina_box_representation.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/elina_box_representation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/elina_box_representation.h -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/elina_box_resize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/elina_box_resize.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/elina_box_resize.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/elina_box_resize.h -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/elina_test_zonotope.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/elina_test_zonotope.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/zonotope.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/zonotope.h -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/zonotope_assign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/zonotope_assign.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/zonotope_assign.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/zonotope_assign.h -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/zonotope_constructor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/zonotope_constructor.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/zonotope_constructor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/zonotope_constructor.h -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/zonotope_internal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/zonotope_internal.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/zonotope_internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/zonotope_internal.h -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/zonotope_meetjoin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/zonotope_meetjoin.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/zonotope_meetjoin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/zonotope_meetjoin.h -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/zonotope_otherops.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/zonotope_otherops.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/zonotope_otherops.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/zonotope_otherops.h -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/zonotope_representation.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/zonotope_representation.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/zonotope_representation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/zonotope_representation.h -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/zonotope_resize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/zonotope_resize.c -------------------------------------------------------------------------------- /eran/ELINA/elina_zonotope/zonotope_resize.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/elina_zonotope/zonotope_resize.h -------------------------------------------------------------------------------- /eran/ELINA/fppoly/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/fppoly/Makefile -------------------------------------------------------------------------------- /eran/ELINA/fppoly/fppoly.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/fppoly/fppoly.c -------------------------------------------------------------------------------- /eran/ELINA/fppoly/fppoly.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/fppoly/fppoly.h -------------------------------------------------------------------------------- /eran/ELINA/java_interface/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/java_interface/Makefile -------------------------------------------------------------------------------- /eran/ELINA/java_interface/elina/OptOctagon.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/java_interface/elina/OptOctagon.java -------------------------------------------------------------------------------- /eran/ELINA/java_interface/elina/OptPoly.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/java_interface/elina/OptPoly.java -------------------------------------------------------------------------------- /eran/ELINA/java_interface/elina/Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/java_interface/elina/Test.java -------------------------------------------------------------------------------- /eran/ELINA/java_interface/elina/elina_OptOctagon.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/java_interface/elina/elina_OptOctagon.c -------------------------------------------------------------------------------- /eran/ELINA/java_interface/elina/elina_OptPoly.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/java_interface/elina/elina_OptPoly.c -------------------------------------------------------------------------------- /eran/ELINA/java_interface/elina/elina_Test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/java_interface/elina/elina_Test.h -------------------------------------------------------------------------------- /eran/ELINA/ocaml_interface/META: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/ocaml_interface/META -------------------------------------------------------------------------------- /eran/ELINA/ocaml_interface/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/ocaml_interface/Makefile -------------------------------------------------------------------------------- /eran/ELINA/ocaml_interface/elina_poly.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/ocaml_interface/elina_poly.idl -------------------------------------------------------------------------------- /eran/ELINA/ocaml_interface/mlexample.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/ocaml_interface/mlexample.ml -------------------------------------------------------------------------------- /eran/ELINA/ocaml_interface/perlscript_caml.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/ocaml_interface/perlscript_caml.pl -------------------------------------------------------------------------------- /eran/ELINA/ocaml_interface/vars.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/ocaml_interface/vars.mk -------------------------------------------------------------------------------- /eran/ELINA/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/opam -------------------------------------------------------------------------------- /eran/ELINA/partitions_api/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/partitions_api/Makefile -------------------------------------------------------------------------------- /eran/ELINA/partitions_api/array_comp_list.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/partitions_api/array_comp_list.c -------------------------------------------------------------------------------- /eran/ELINA/partitions_api/comp_list.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/partitions_api/comp_list.c -------------------------------------------------------------------------------- /eran/ELINA/partitions_api/comp_list.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/partitions_api/comp_list.h -------------------------------------------------------------------------------- /eran/ELINA/partitions_api/extract.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/partitions_api/extract.c -------------------------------------------------------------------------------- /eran/ELINA/partitions_api/intersection.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/partitions_api/intersection.c -------------------------------------------------------------------------------- /eran/ELINA/partitions_api/rdtsc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/partitions_api/rdtsc.h -------------------------------------------------------------------------------- /eran/ELINA/partitions_api/union.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/partitions_api/union.c -------------------------------------------------------------------------------- /eran/ELINA/python_interface/__pycache__/elina_abstract0.cpython-35.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/__pycache__/elina_abstract0.cpython-35.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/__pycache__/elina_abstract0_h.cpython-35.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/__pycache__/elina_abstract0_h.cpython-35.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/__pycache__/elina_auxiliary_imports.cpython-35.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/__pycache__/elina_auxiliary_imports.cpython-35.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/__pycache__/elina_coeff_h.cpython-35.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/__pycache__/elina_coeff_h.cpython-35.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/__pycache__/elina_dimension.cpython-35.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/__pycache__/elina_dimension.cpython-35.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/__pycache__/elina_dimension_h.cpython-35.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/__pycache__/elina_dimension_h.cpython-35.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/__pycache__/elina_interval.cpython-35.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/__pycache__/elina_interval.cpython-35.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/__pycache__/elina_interval_h.cpython-35.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/__pycache__/elina_interval_h.cpython-35.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/__pycache__/elina_lincons0_h.cpython-35.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/__pycache__/elina_lincons0_h.cpython-35.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/__pycache__/elina_linexpr0.cpython-35.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/__pycache__/elina_linexpr0.cpython-35.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/__pycache__/elina_linexpr0_h.cpython-35.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/__pycache__/elina_linexpr0_h.cpython-35.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/__pycache__/elina_manager.cpython-35.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/__pycache__/elina_manager.cpython-35.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/__pycache__/elina_manager_h.cpython-35.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/__pycache__/elina_manager_h.cpython-35.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/__pycache__/elina_scalar_h.cpython-35.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/__pycache__/elina_scalar_h.cpython-35.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/__pycache__/elina_tcons0_h.cpython-35.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/__pycache__/elina_tcons0_h.cpython-35.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/__pycache__/elina_texpr0_h.cpython-35.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/__pycache__/elina_texpr0_h.cpython-35.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/__pycache__/fppoly.cpython-35.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/__pycache__/fppoly.cpython-35.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/__pycache__/fppoly_imports.cpython-35.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/__pycache__/fppoly_imports.cpython-35.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/__pycache__/zonoml.cpython-35.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/__pycache__/zonoml.cpython-35.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/__pycache__/zonoml_imports.cpython-35.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/__pycache__/zonoml_imports.cpython-35.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_abstract0.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_abstract0.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_abstract0_h.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_abstract0_h.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_auxiliary_imports.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_auxiliary_imports.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_auxiliary_imports.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_auxiliary_imports.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_coeff.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_coeff.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_coeff_h.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_coeff_h.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_dimension.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_dimension.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_dimension_h.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_dimension_h.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_interval.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_interval.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_interval_h.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_interval_h.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_lincons0.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_lincons0.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_lincons0_h.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_lincons0_h.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_linexpr0.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_linexpr0.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_linexpr0_h.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_linexpr0_h.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_manager.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_manager.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_manager_h.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_manager_h.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_scalar.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_scalar.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_scalar.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_scalar.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_scalar_h.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_scalar_h.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_scalar_h.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_scalar_h.pyc -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_tcons.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_tcons.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_tcons0_h.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_tcons0_h.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_texpr0.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_texpr0.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/elina_texpr0_h.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/elina_texpr0_h.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/fppoly.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/fppoly.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/fppoly_imports.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/fppoly_imports.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/opt_oct.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/opt_oct.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/opt_oct_imports.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/opt_oct_imports.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/opt_pk.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/opt_pk.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/opt_pk_imports.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/opt_pk_imports.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/test_fppoly.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/test_fppoly.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/tests/coeff_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/tests/coeff_test.c -------------------------------------------------------------------------------- /eran/ELINA/python_interface/tests/coeff_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/tests/coeff_test.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/tests/elina_oct_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/tests/elina_oct_test.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/tests/elina_pk_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/tests/elina_pk_test.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/tests/interval_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/tests/interval_test.c -------------------------------------------------------------------------------- /eran/ELINA/python_interface/tests/interval_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/tests/interval_test.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/tests/lincons0_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/tests/lincons0_test.c -------------------------------------------------------------------------------- /eran/ELINA/python_interface/tests/lincons0_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/tests/lincons0_test.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/tests/linexpr0_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/tests/linexpr0_test.c -------------------------------------------------------------------------------- /eran/ELINA/python_interface/tests/linexpr0_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/tests/linexpr0_test.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/tests/oct_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/tests/oct_test.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/tests/pk_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/tests/pk_test.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/tests/scalar_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/tests/scalar_test.c -------------------------------------------------------------------------------- /eran/ELINA/python_interface/tests/scalar_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/tests/scalar_test.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/tests/test_imports.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/tests/test_imports.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/zonoml.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/zonoml.py -------------------------------------------------------------------------------- /eran/ELINA/python_interface/zonoml_imports.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/python_interface/zonoml_imports.py -------------------------------------------------------------------------------- /eran/ELINA/rdtsc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/rdtsc.h -------------------------------------------------------------------------------- /eran/ELINA/zonoml/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/zonoml/Makefile -------------------------------------------------------------------------------- /eran/ELINA/zonoml/elina_test_zonoml.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/zonoml/elina_test_zonoml.c -------------------------------------------------------------------------------- /eran/ELINA/zonoml/zonoml.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/zonoml/zonoml.h -------------------------------------------------------------------------------- /eran/ELINA/zonoml/zonoml_fun.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/zonoml/zonoml_fun.c -------------------------------------------------------------------------------- /eran/ELINA/zonoml/zonoml_fun.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/zonoml/zonoml_fun.h -------------------------------------------------------------------------------- /eran/ELINA/zonoml/zonoml_internal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/zonoml/zonoml_internal.c -------------------------------------------------------------------------------- /eran/ELINA/zonoml/zonoml_internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/zonoml/zonoml_internal.h -------------------------------------------------------------------------------- /eran/ELINA/zonoml/zonoml_reduced_product.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/zonoml/zonoml_reduced_product.c -------------------------------------------------------------------------------- /eran/ELINA/zonoml/zonoml_reduced_product.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/ELINA/zonoml/zonoml_reduced_product.h -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_1_1_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_1_1_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_1_2_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_1_2_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_1_3_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_1_3_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_1_4_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_1_4_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_1_5_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_1_5_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_1_6_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_1_6_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_1_7_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_1_7_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_1_8_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_1_8_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_1_9_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_1_9_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_2_1_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_2_1_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_2_2_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_2_2_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_2_3_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_2_3_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_2_4_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_2_4_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_2_5_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_2_5_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_2_6_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_2_6_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_2_7_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_2_7_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_2_8_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_2_8_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_2_9_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_2_9_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_3_1_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_3_1_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_3_2_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_3_2_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_3_3_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_3_3_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_3_4_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_3_4_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_3_5_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_3_5_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_3_6_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_3_6_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_3_7_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_3_7_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_3_8_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_3_8_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_3_9_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_3_9_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_4_1_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_4_1_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_4_2_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_4_2_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_4_3_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_4_3_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_4_4_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_4_4_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_4_5_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_4_5_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_4_6_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_4_6_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_4_7_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_4_7_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_4_8_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_4_8_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_4_9_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_4_9_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_5_1_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_5_1_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_5_2_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_5_2_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_5_3_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_5_3_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_5_4_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_5_4_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_5_5_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_5_5_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_5_6_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_5_6_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_5_7_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_5_7_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_5_8_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_5_8_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/ACASXU_run2a_5_9_batch_2000_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/ACASXU_run2a_5_9_batch_2000_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/HAR_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/HAR_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/mnist_relu_2_512_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/mnist_relu_2_512_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/mnist_relu_3_100_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/mnist_relu_3_100_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/nnet/mnist_relu_4_1024_16bit.pyt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/nnet/mnist_relu_4_1024_16bit.pyt -------------------------------------------------------------------------------- /eran/NNet/python/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /eran/NNet/python/example.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/python/example.py -------------------------------------------------------------------------------- /eran/NNet/python/nnet.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/python/nnet.py -------------------------------------------------------------------------------- /eran/NNet/utils/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /eran/NNet/utils/normalizeNNet.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/utils/normalizeNNet.py -------------------------------------------------------------------------------- /eran/NNet/utils/readNNet.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/utils/readNNet.py -------------------------------------------------------------------------------- /eran/NNet/utils/subbed_nnet2pyt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/utils/subbed_nnet2pyt.py -------------------------------------------------------------------------------- /eran/NNet/utils/writeNNet.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/NNet/utils/writeNNet.py -------------------------------------------------------------------------------- /eran/data/cifar10_test.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/data/cifar10_test.csv -------------------------------------------------------------------------------- /eran/data/har_test.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/data/har_test.csv -------------------------------------------------------------------------------- /eran/data/mnist_test.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/data/mnist_test.csv -------------------------------------------------------------------------------- /eran/install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/install.sh -------------------------------------------------------------------------------- /eran/tf_verify/analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/tf_verify/analyzer.py -------------------------------------------------------------------------------- /eran/tf_verify/deeppoly_nodes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/tf_verify/deeppoly_nodes.py -------------------------------------------------------------------------------- /eran/tf_verify/deepzono_milp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/tf_verify/deepzono_milp.py -------------------------------------------------------------------------------- /eran/tf_verify/deepzono_nodes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/tf_verify/deepzono_nodes.py -------------------------------------------------------------------------------- /eran/tf_verify/diff_analysis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/tf_verify/diff_analysis.py -------------------------------------------------------------------------------- /eran/tf_verify/diff_analysis_artifact.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/tf_verify/diff_analysis_artifact.py -------------------------------------------------------------------------------- /eran/tf_verify/eran.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/tf_verify/eran.py -------------------------------------------------------------------------------- /eran/tf_verify/eranlayers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/tf_verify/eranlayers.py -------------------------------------------------------------------------------- /eran/tf_verify/optimizer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/tf_verify/optimizer.py -------------------------------------------------------------------------------- /eran/tf_verify/read_net_file.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/tf_verify/read_net_file.py -------------------------------------------------------------------------------- /eran/tf_verify/tensorflow_translator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/eran/tf_verify/tensorflow_translator.py -------------------------------------------------------------------------------- /install_OpenBLAS.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pauls658/ReluDiff-ICSE2020-Artifact/HEAD/install_OpenBLAS.sh --------------------------------------------------------------------------------