LICENSE
MANIFEST.in
README.md
pyproject.toml
src/constraintflow/__init__.py
src/constraintflow/cli.py
src/constraintflow.egg-info/PKG-INFO
src/constraintflow.egg-info/SOURCES.txt
src/constraintflow.egg-info/dependency_links.txt
src/constraintflow.egg-info/entry_points.txt
src/constraintflow.egg-info/requires.txt
src/constraintflow.egg-info/top_level.txt
src/constraintflow/ast_cflow/__init__.py
src/constraintflow/ast_cflow/astBuilder.py
src/constraintflow/ast_cflow/astPrinter.py
src/constraintflow/ast_cflow/astTC.py
src/constraintflow/ast_cflow/astVisitor.py
src/constraintflow/ast_cflow/astcf.py
src/constraintflow/ast_cflow/dsl.g4
src/constraintflow/ast_cflow/dsl.interp
src/constraintflow/ast_cflow/dsl.tokens
src/constraintflow/ast_cflow/dslLexer.interp
src/constraintflow/ast_cflow/dslLexer.py
src/constraintflow/ast_cflow/dslLexer.tokens
src/constraintflow/ast_cflow/dslListener.py
src/constraintflow/ast_cflow/dslParser.py
src/constraintflow/ast_cflow/dslVisitor.py
src/constraintflow/compiler/__init__.py
src/constraintflow/compiler/codeGen.py
src/constraintflow/compiler/compile.py
src/constraintflow/compiler/convertToIr.py
src/constraintflow/compiler/globals.py
src/constraintflow/compiler/ir.py
src/constraintflow/compiler/irVisitor.py
src/constraintflow/compiler/representations.py
src/constraintflow/compiler/optimizations/__init__.py
src/constraintflow/compiler/optimizations/copyPropagation.py
src/constraintflow/compiler/optimizations/cse.py
src/constraintflow/compiler/optimizations/dce.py
src/constraintflow/compiler/optimizations/loopInvariantCodeMotion.py
src/constraintflow/compiler/optimizations/polyOpt.py
src/constraintflow/compiler/optimizations/print.py
src/constraintflow/compiler/optimizations/rewrite.py
src/constraintflow/compiler/optimizations/symexpCount.py
src/constraintflow/compiler/optimizations/uses.py
src/constraintflow/gbcsr/__init__.py
src/constraintflow/gbcsr/op_helper.py
src/constraintflow/gbcsr/plot.py
src/constraintflow/gbcsr/sparse_block.py
src/constraintflow/gbcsr/sparse_tensor.py
src/constraintflow/gbcsr/tensor_ops.py
src/constraintflow/lib/__init__.py
src/constraintflow/lib/abs_elem.py
src/constraintflow/lib/flow_sparse.py
src/constraintflow/lib/globals.py
src/constraintflow/lib/llist.py
src/constraintflow/lib/network.py
src/constraintflow/lib/parse.py
src/constraintflow/lib/polyexp.py
src/constraintflow/lib/spec.py
src/constraintflow/lib/symexp.py
src/constraintflow/verifier/__init__.py
src/constraintflow/verifier/provesound.py
src/constraintflow/verifier/lib/__init__.py
src/constraintflow/verifier/lib/globals.py
src/constraintflow/verifier/lib/optGraph.py
src/constraintflow/verifier/lib/optSolver.py
src/constraintflow/verifier/lib/utils.py
src/constraintflow/verifier/src/__init__.py
src/constraintflow/verifier/src/symbolicDNN.py
src/constraintflow/verifier/src/symbolicSemantics.py
src/constraintflow/verifier/src/value.py
src/constraintflow/verifier/src/verify.py
src/examples/__init__.py
src/examples/compiler_examples/crown.cf
src/examples/compiler_examples/crownibp.cf
src/examples/compiler_examples/deeppoly.cf
src/examples/compiler_examples/deeppoly2.cf
src/examples/compiler_examples/deeppoly_custom_stop.cf
src/examples/compiler_examples/deeppoly_efficient.cf
src/examples/compiler_examples/deeppoly_priority.cf
src/examples/compiler_examples/deeppolyh.cf
src/examples/compiler_examples/hybrid_zono.cf
src/examples/compiler_examples/ibp.cf
src/examples/compiler_examples/ibp2.cf
src/examples/compiler_examples/ibp3.cf
src/examples/compiler_examples/ibp_affine.cf
src/examples/compiler_examples/ibp_relu.cf
src/examples/compiler_examples/ibp_relu2.cf
src/examples/compiler_examples/polyzono.cf
src/examples/compiler_examples/reuse.cf
src/examples/compiler_examples/zid.cf
src/examples/compiler_examples/zono.cf
src/examples/compiler_examples/zono2.cf
src/examples/compiler_examples/custom_stops/deeppoly.cf
src/examples/compiler_examples/custom_stops/deeppoly_custom_stop00.cf
src/examples/compiler_examples/custom_stops/deeppoly_custom_stop01.cf
src/examples/compiler_examples/custom_stops/deeppoly_custom_stop02.cf
src/examples/compiler_examples/custom_stops/deeppoly_custom_stop03.cf
src/examples/compiler_examples/custom_stops/deeppoly_custom_stop04.cf
src/examples/compiler_examples/custom_stops/deeppoly_custom_stop05.cf
src/examples/compiler_examples/custom_stops/deeppoly_custom_stop06.cf
src/examples/compiler_examples/custom_stops/deeppoly_custom_stop07.cf
src/examples/compiler_examples/custom_stops/deeppoly_custom_stop08.cf
src/examples/compiler_examples/custom_stops/deeppoly_custom_stop09.cf
src/examples/compiler_examples/custom_stops/deeppoly_custom_stop10.cf
src/examples/compiler_examples/custom_stops/deeppoly_custom_stop11.cf
src/examples/compiler_examples/custom_stops/deeppoly_custom_stop12.cf
src/examples/compiler_examples/custom_stops/deeppoly_custom_stop13.cf
src/examples/compiler_examples/custom_stops/deeppoly_custom_stop14.cf
src/examples/compiler_examples/custom_stops/deeppoly_custom_stop15.cf
src/examples/compiler_examples/custom_stops/deeppoly_custom_stop16.cf
src/examples/compiler_examples/custom_stops/deeppoly_custom_stop17.cf
src/examples/compiler_examples/custom_stops/deeppoly_custom_stop18.cf
src/examples/compiler_examples/custom_stops/ibp.cf
src/examples/provesound_examples/balance_cert.cf
src/examples/provesound_examples/balance_cert_abs.cf
src/examples/provesound_examples/balance_cert_affine.cf
src/examples/provesound_examples/balance_cert_avgpool.cf
src/examples/provesound_examples/balance_cert_max.cf
src/examples/provesound_examples/balance_cert_maxpool.cf
src/examples/provesound_examples/balance_cert_min.cf
src/examples/provesound_examples/balance_cert_minpool.cf
src/examples/provesound_examples/balance_cert_mult.cf
src/examples/provesound_examples/balance_cert_relu.cf
src/examples/provesound_examples/balance_cert_relu6.cf
src/examples/provesound_examples/balance_cert_sigmoid.cf
src/examples/provesound_examples/balance_cert_swish.cf
src/examples/provesound_examples/balance_cert_tanh.cf
src/examples/provesound_examples/deeppoly.cf
src/examples/provesound_examples/deeppoly_abs.cf
src/examples/provesound_examples/deeppoly_add.cf
src/examples/provesound_examples/deeppoly_affine.cf
src/examples/provesound_examples/deeppoly_avgpool.cf
src/examples/provesound_examples/deeppoly_map.cf
src/examples/provesound_examples/deeppoly_map_relu.cf
src/examples/provesound_examples/deeppoly_max.cf
src/examples/provesound_examples/deeppoly_maxpool.cf
src/examples/provesound_examples/deeppoly_min.cf
src/examples/provesound_examples/deeppoly_minpool.cf
src/examples/provesound_examples/deeppoly_mult.cf
src/examples/provesound_examples/deeppoly_relu.cf
src/examples/provesound_examples/deeppoly_relu6.cf
src/examples/provesound_examples/deeppoly_sigmoid.cf
src/examples/provesound_examples/deeppoly_swish.cf
src/examples/provesound_examples/deeppoly_tanh.cf
src/examples/provesound_examples/deepz.cf
src/examples/provesound_examples/deepz_abs.cf
src/examples/provesound_examples/deepz_add.cf
src/examples/provesound_examples/deepz_affine.cf
src/examples/provesound_examples/deepz_avgpool.cf
src/examples/provesound_examples/deepz_max.cf
src/examples/provesound_examples/deepz_maxpool.cf
src/examples/provesound_examples/deepz_min.cf
src/examples/provesound_examples/deepz_minpool.cf
src/examples/provesound_examples/deepz_mult.cf
src/examples/provesound_examples/deepz_relu.cf
src/examples/provesound_examples/deepz_relu6.cf
src/examples/provesound_examples/deepz_sigmoid.cf
src/examples/provesound_examples/deepz_swish.cf
src/examples/provesound_examples/deepz_tanh.cf
src/examples/provesound_examples/hybrid_zono.cf
src/examples/provesound_examples/hybrid_zono_abs.cf
src/examples/provesound_examples/hybrid_zono_add.cf
src/examples/provesound_examples/hybrid_zono_affine.cf
src/examples/provesound_examples/hybrid_zono_avgpool.cf
src/examples/provesound_examples/hybrid_zono_max.cf
src/examples/provesound_examples/hybrid_zono_maxpool.cf
src/examples/provesound_examples/hybrid_zono_min.cf
src/examples/provesound_examples/hybrid_zono_minpool.cf
src/examples/provesound_examples/hybrid_zono_mult.cf
src/examples/provesound_examples/hybrid_zono_relu.cf
src/examples/provesound_examples/hybrid_zono_relu6.cf
src/examples/provesound_examples/hybrid_zono_sigmoid.cf
src/examples/provesound_examples/hybrid_zono_swish.cf
src/examples/provesound_examples/hybrid_zono_tanh.cf
src/examples/provesound_examples/ibp.cf
src/examples/provesound_examples/ibp_abs.cf
src/examples/provesound_examples/ibp_add.cf
src/examples/provesound_examples/ibp_affine.cf
src/examples/provesound_examples/ibp_avgpool.cf
src/examples/provesound_examples/ibp_max.cf
src/examples/provesound_examples/ibp_maxpool.cf
src/examples/provesound_examples/ibp_min.cf
src/examples/provesound_examples/ibp_minpool.cf
src/examples/provesound_examples/ibp_mult.cf
src/examples/provesound_examples/ibp_relu.cf
src/examples/provesound_examples/ibp_relu6.cf
src/examples/provesound_examples/ibp_sigmoid.cf
src/examples/provesound_examples/ibp_swish.cf
src/examples/provesound_examples/ibp_tanh.cf
src/examples/provesound_examples/polyz.cf
src/examples/provesound_examples/polyz_abs.cf
src/examples/provesound_examples/polyz_add.cf
src/examples/provesound_examples/polyz_affine.cf
src/examples/provesound_examples/polyz_avgpool.cf
src/examples/provesound_examples/polyz_max.cf
src/examples/provesound_examples/polyz_maxpool.cf
src/examples/provesound_examples/polyz_min.cf
src/examples/provesound_examples/polyz_minpool.cf
src/examples/provesound_examples/polyz_mult.cf
src/examples/provesound_examples/polyz_relu.cf
src/examples/provesound_examples/polyz_relu6.cf
src/examples/provesound_examples/polyz_sigmoid.cf
src/examples/provesound_examples/polyz_swish.cf
src/examples/provesound_examples/polyz_tanh.cf
src/examples/provesound_examples/refinezono.cf
src/examples/provesound_examples/refinezono_abs.cf
src/examples/provesound_examples/refinezono_add.cf
src/examples/provesound_examples/refinezono_affine.cf
src/examples/provesound_examples/refinezono_avgpool.cf
src/examples/provesound_examples/refinezono_max.cf
src/examples/provesound_examples/refinezono_maxpool.cf
src/examples/provesound_examples/refinezono_min.cf
src/examples/provesound_examples/refinezono_minpool.cf
src/examples/provesound_examples/refinezono_mult.cf
src/examples/provesound_examples/refinezono_relu.cf
src/examples/provesound_examples/refinezono_relu6.cf
src/examples/provesound_examples/refinezono_sigmoid.cf
src/examples/provesound_examples/refinezono_swish.cf
src/examples/provesound_examples/refinezono_tanh.cf
src/examples/provesound_examples/reuse_cert.cf
src/examples/provesound_examples/reuse_cert_abs.cf
src/examples/provesound_examples/reuse_cert_affine.cf
src/examples/provesound_examples/reuse_cert_avgpool.cf
src/examples/provesound_examples/reuse_cert_max.cf
src/examples/provesound_examples/reuse_cert_maxpool.cf
src/examples/provesound_examples/reuse_cert_min.cf
src/examples/provesound_examples/reuse_cert_minpool.cf
src/examples/provesound_examples/reuse_cert_mult.cf
src/examples/provesound_examples/reuse_cert_relu.cf
src/examples/provesound_examples/reuse_cert_relu6.cf
src/examples/provesound_examples/reuse_cert_sigmoid.cf
src/examples/provesound_examples/reuse_cert_swish.cf
src/examples/provesound_examples/reuse_cert_tanh.cf
src/examples/provesound_examples/sympoly.cf
src/examples/provesound_examples/sympoly_abs.cf
src/examples/provesound_examples/sympoly_avgpool.cf
src/examples/provesound_examples/sympoly_max.cf
src/examples/provesound_examples/sympoly_maxpool.cf
src/examples/provesound_examples/sympoly_min.cf
src/examples/provesound_examples/sympoly_minpool.cf
src/examples/provesound_examples/sympoly_mult.cf
src/examples/provesound_examples/sympoly_relu.cf
src/examples/provesound_examples/sympoly_relu6.cf
src/examples/provesound_examples/sympoly_sigmoid.cf
src/examples/provesound_examples/sympoly_swish.cf
src/examples/provesound_examples/sympoly_tanh.cf
src/examples/provesound_examples/vegas.cf
src/examples/provesound_examples/vegas_abs.cf
src/examples/provesound_examples/vegas_add.cf
src/examples/provesound_examples/vegas_affine.cf
src/examples/provesound_examples/vegas_max.cf
src/examples/provesound_examples/vegas_maxpool.cf
src/examples/provesound_examples/vegas_min.cf
src/examples/provesound_examples/vegas_mult.cf
src/examples/provesound_examples/vegas_relu.cf
src/examples/provesound_examples/vegas_relu6.cf
src/examples/provesound_examples/vegas_sigmoid.cf
src/examples/provesound_examples/vegas_swish.cf
src/examples/provesound_examples/vegas_tanh.cf