Generic integer semantics #542
math-fehrAnnotations
10 errors
|
build (3.10):
xdsl_smt/passes/lower_to_smt/smt_lowerer_loaders.py#L79
Type of "semantics" is partially unknown
Type of "semantics" is "dict[Unknown, IntConstantSemantics | IntSelectSemantics | xdsl_smt.semantics.arith_int_semantics.OpSemantics | IntCmpiSemantics | IntAndISemantics]" (reportUnknownVariableType)
|
|
build (3.10):
xdsl_smt/passes/lower_to_smt/smt_lowerer_loaders.py#L80
Type of "Constant" is unknown (reportUnknownMemberType)
|
|
build (3.10):
xdsl_smt/passes/lower_to_smt/smt_lowerer_loaders.py#L80
"Constant" is not a known attribute of module "xdsl.dialects.arith" (reportAttributeAccessIssue)
|
|
build (3.10):
xdsl_smt/passes/lower_to_smt/smt_lowerer_loaders.py#L81
Type of "Select" is unknown (reportUnknownMemberType)
|
|
build (3.10):
xdsl_smt/passes/lower_to_smt/smt_lowerer_loaders.py#L81
"Select" is not a known attribute of module "xdsl.dialects.arith" (reportAttributeAccessIssue)
|
|
build (3.10):
xdsl_smt/passes/lower_to_smt/smt_lowerer_loaders.py#L82
Type of "Addi" is unknown (reportUnknownMemberType)
|
|
build (3.10):
xdsl_smt/passes/lower_to_smt/smt_lowerer_loaders.py#L82
"Addi" is not a known attribute of module "xdsl.dialects.arith" (reportAttributeAccessIssue)
|
|
build (3.10):
xdsl_smt/passes/lower_to_smt/smt_lowerer_loaders.py#L83
Type of "Subi" is unknown (reportUnknownMemberType)
|
|
build (3.10):
xdsl_smt/passes/lower_to_smt/smt_lowerer_loaders.py#L83
"Subi" is not a known attribute of module "xdsl.dialects.arith" (reportAttributeAccessIssue)
|
|
build (3.10):
xdsl_smt/passes/lower_to_smt/smt_lowerer_loaders.py#L84
Type of "Muli" is unknown (reportUnknownMemberType)
|