Remove unused function #872
Annotations
6 errors
|
Pyright
5 errors
|
|
Pyright:
xdsl_smt/cli/superoptimize.py#L18
Import "hw" is not accessed (reportUnusedImport)
|
|
Pyright:
xdsl_smt/cli/superoptimize.py#L17
Import "IntegerType" is not accessed (reportUnusedImport)
|
|
Pyright:
xdsl_smt/cli/superoptimize.py#L17
Import "IntegerAttr" is not accessed (reportUnusedImport)
|
|
Pyright:
xdsl_smt/cli/superoptimize.py#L16
Import "synth" is not accessed (reportUnusedImport)
|
|
Pyright:
xdsl_smt/cli/superoptimize.py#L12
Import "Rewriter" is not accessed (reportUnusedImport)
|
Loading