main
DNNV
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
dnnv\properties\visitors\inference.py
143 4 1
A
dnnv\properties\expressions\base.py
136 3 1
A
dnnv\nn\converters\tensorflow.py
109 5 -
A
dnnv\properties\transformers\propagate_constants.py
106 4 1
A
dnnv\verifiers\common\reductions\iopolytope\base.py
92 4 1
A
dnnv\properties\parser\dnnp\parser.py
87 4 -
A
dnnv\nn\visitors.py
73 10 -
A
dnnv\verifiers\common\reductions\iopolytope\reduction.py
67 4 1
A
dnnv\verifiers\neurify\utils.py
59 5 2
A
dnnv\nn\converters\onnx.py
58 7 1
A
dnnv\nn\layers\base.py
57 5 1
A
dnnv\nn\operations\patterns.py
55 3 -
A
tools\eran2onnx.py
51 3 3
A
dnnv\verifiers\planet\layers.py
51 3 -
A
dnnv\properties\transformers\substitute_calls\_calls\abs.py
51 4 1
A
dnnv\nn\operations\tensor.py
48 5 1
A
dnnv\properties\expressions\logic.py
47 4 -
A
dnnv\nn\graph.py
46 8 -
A
dnnv\properties\transformers\canonical.py
41 4 -
A
dnnv\properties\parser\vnnlib\parser.py
40 2 -