This PR add forwards and backwards soundness checks for transfer dialect #440
Hatsunespica
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
10 errors and 1 warning
|
build (3.10):
xdsl_smt/cli/transfer_function_verifier.py#L257
Type of "append" is partially unknown
Type of "append" is "(__object: Unknown, /) -> None" (reportUnknownMemberType)
|
|
build (3.10):
xdsl_smt/cli/transfer_function_verifier.py#L258
Return type, "list[Unknown]", is partially unknown (reportUnknownVariableType)
|
|
build (3.10):
xdsl_smt/utils/transfer_function_check_util.py#L240
Argument of type "Attribute" cannot be assigned to parameter "abs_val_ty" of type "AnyPairType" in function "replaceAbstractValueWidth"
"Attribute" is incompatible with "AnyPairType" (reportGeneralTypeIssues)
|
|
build (3.10):
xdsl_smt/utils/transfer_function_util.py#L98
Argument of type "Attribute" cannot be assigned to parameter "ty" of type "TypeAttribute" in function "getWdithFromType"
"Attribute" is incompatible with "TypeAttribute" (reportGeneralTypeIssues)
|
|
build (3.10):
xdsl_smt/utils/transfer_function_util.py#L112
Argument of type "Attribute" cannot be assigned to parameter "ty" of type "TypeAttribute" in function "getWdithFromType"
"Attribute" is incompatible with "TypeAttribute" (reportGeneralTypeIssues)
|
|
build (3.10):
xdsl_smt/utils/transfer_function_util.py#L126
Type of "first" is unknown (reportUnknownMemberType)
|
|
build (3.10):
xdsl_smt/utils/transfer_function_util.py#L126
Type of "ty" is partially unknown
Type of "ty" is "Unknown | TypeAttribute" (reportUnknownVariableType)
|
|
build (3.10):
xdsl_smt/utils/transfer_function_util.py#L136
Expression of type "Attribute" cannot be assigned to declared type "AnyPairType"
"Attribute" is incompatible with "AnyPairType" (reportGeneralTypeIssues)
|
|
build (3.10):
xdsl_smt/utils/transfer_function_util.py#L134
Second argument to "isinstance" must be a class or tuple of classes
TypeVar or generic type with type arguments not allowed (reportGeneralTypeIssues)
|
|
build (3.10):
xdsl_smt/utils/transfer_function_util.py#L144
Expression of type "Attribute | PairType[_F@PairType, _S@PairType]" cannot be assigned to return type "AnyPairType"
Type "Attribute | PairType[_F@PairType, _S@PairType]" cannot be assigned to type "AnyPairType"
"Attribute" is incompatible with "AnyPairType" (reportGeneralTypeIssues)
|
|
build (3.10)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v4, jakebailey/pyright-action@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|