Add lowerings from smt tensor to low-level smt #850
HatsunespicaAnnotations
10 errors
|
build (3.10):
xdsl_smt/passes/rewrite_smt_tensor.py#L46
Type of "permutations" is unknown (reportUnknownVariableType)
|
|
build (3.10):
xdsl_smt/passes/rewrite_smt_tensor.py#L37
Type annotation is missing for parameter "extract_op" (reportMissingParameterType)
|
|
build (3.10):
xdsl_smt/passes/rewrite_smt_tensor.py#L37
Type of parameter "extract_op" is unknown (reportUnknownParameterType)
|
|
build (3.10):
xdsl_smt/passes/lower_smt_tensor.py#L39
Argument type is partially unknown
Argument corresponds to parameter "typ" in function "lower_tensor_type"
Argument type is "SMTTensorType[Unknown]" (reportUnknownArgumentType)
|
|
build (3.10):
xdsl_smt/passes/lower_smt_tensor.py#L39
Type of "type" is partially unknown
Type of "type" is "SMTTensorType[Unknown]" (reportUnknownMemberType)
|
|
build (3.10):
xdsl_smt/passes/lower_smt_tensor.py#L31
Return type, "Unknown | ArrayType[BitVectorType, Unknown | ArrayType[BitVectorType, Unknown | ArrayType[BitVectorType, Unknown | ArrayType[BitVectorType, Unknown]]]]", is partially unknown (reportUnknownVariableType)
|
|
build (3.10):
xdsl_smt/passes/lower_smt_tensor.py#L30
Argument type is partially unknown
Argument corresponds to parameter "range" in function "__init__"
Argument type is "Unknown | ArrayType[BitVectorType, Unknown | ArrayType[BitVectorType, Unknown | ArrayType[BitVectorType, Unknown]]]" (reportUnknownArgumentType)
|
|
build (3.10):
xdsl_smt/passes/lower_smt_tensor.py#L30
Type of "result" is partially unknown
Type of "result" is "ArrayType[BitVectorType, Unknown | ArrayType[BitVectorType, Unknown | ArrayType[BitVectorType, Unknown | ArrayType[BitVectorType, Unknown]]]]" (reportUnknownVariableType)
|
|
build (3.10):
xdsl_smt/passes/lower_smt_tensor.py#L27
Type of "element_type" is unknown (reportUnknownMemberType)
|
|
build (3.10):
xdsl_smt/passes/lower_smt_tensor.py#L27
Type of "result" is unknown (reportUnknownVariableType)
|