This PR add forwards and backwards soundness checks for transfer dialect #445
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/utils/transfer_function_check_util.py#L242
Argument type is partially unknown
Argument corresponds to parameter "abs_val_ty" in function "replaceAbstractValueWidth"
Argument type is "PairType[Unknown, Unknown]" (reportUnknownArgumentType)
|
|
build (3.10):
xdsl_smt/utils/transfer_function_check_util.py#L1
Import "AnyPairType" is not accessed (reportUnusedImport)
|
|
build (3.10):
xdsl_smt/utils/transfer_function_util.py#L125
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#L137
Type of "first" is unknown (reportUnknownMemberType)
|
|
build (3.10):
xdsl_smt/utils/transfer_function_util.py#L137
Type of "first" is partially unknown
Type of "first" is "Attribute | Unknown" (reportUnknownMemberType)
|
|
build (3.10):
xdsl_smt/utils/transfer_function_util.py#L137
Argument type is partially unknown
Argument corresponds to parameter "__object" in function "append"
Argument type is "Attribute | Unknown" (reportUnknownArgumentType)
|
|
build (3.10):
xdsl_smt/utils/transfer_function_util.py#L138
Type of "second" is unknown (reportUnknownMemberType)
|
|
build (3.10):
xdsl_smt/utils/transfer_function_util.py#L138
Type of "second" is partially unknown
Type of "second" is "Attribute | Unknown" (reportUnknownMemberType)
|
|
build (3.10):
xdsl_smt/utils/transfer_function_util.py#L138
Type of "abs_val_ty" is partially unknown
Type of "abs_val_ty" is "Attribute | Unknown" (reportUnknownVariableType)
|
|
build (3.10):
xdsl_smt/utils/transfer_function_util.py#L139
Argument type is partially unknown
Argument corresponds to parameter "__object" in function "append"
Argument type is "Attribute | Unknown" (reportUnknownArgumentType)
|
|
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/
|