update xcorev cdsl submodule #21
Annotations
48 errors and 3 warnings
seal5/backends/riscv_features/writer.py#L27
Line too long (133 > 120 characters) (E501)
|
/home/runner/work/seal5/seal5/seal5/flow.py#L159
("collect_immediate_operands", passes.collect_immediate_operands, {}),
("collect_operand_types", passes.collect_operand_types, {}),
("detect_side_effects", passes.detect_side_effects, {}),
("detect_inouts", passes.detect_inouts, {}),
("detect_registers", passes.detect_registers, {}),
- ("write_cdsl_full", passes.write_cdsl, {"split": False, "compat": False})
+ ("write_cdsl_full", passes.write_cdsl, {"split": False, "compat": False}),
# TODO: determine static constraints (xlen,...) -> subtargetvmap
# detect memory adressing modes
# self.detect_adressing_modes(verbose) # TODO
# detect legal GMIR ops (and map to selectiondag?)
# self.detect_legal_ops(verbose=verbose) # TODO
|
seal5/backends/riscv_features/writer.py#L29
Line too long (150 > 120 characters) (E501)
|
/home/runner/work/seal5/seal5/seal5/flow.py#L602
if isinstance(dest, str):
dest = Path(dest)
suffix = dest.suffix
if suffix != ".gz":
raise NotImplementedError("Only .tar.gz export is supported!")
- artifacts = [self.settings.inputs_dir, self.settings.gen_dir, self.settings.models_dir, self.settings.logs_dir, self.settings.settings_file]
+ artifacts = [
+ self.settings.inputs_dir,
+ self.settings.gen_dir,
+ self.settings.models_dir,
+ self.settings.logs_dir,
+ self.settings.settings_file,
+ ]
with tarfile.open(dest, mode="w:gz") as archive:
for artifact in artifacts:
name = str(artifact)
assert str(self.settings.meta_dir) in name
name = name.replace(f"{self.settings.meta_dir}/", "")
|
seal5/backends/yaml/writer.py#L19
'm2isar.metamodel.patch_model' imported but unused (F401)
|
/home/runner/work/seal5/seal5/seal5/flow.py#L623
raise NotImplementedError
if settings:
self.settings.reset()
logger.info("Completed clean of Seal5 settings")
- def clean(self, temp: bool = False, patches: bool = False, models: bool = False, inputs: bool = False, logs: bool = False, install: bool = False, build: bool = False, deps: bool = False, verbose: bool = False, interactive: bool = False):
+ def clean(
+ self,
+ temp: bool = False,
+ patches: bool = False,
+ models: bool = False,
+ inputs: bool = False,
+ logs: bool = False,
+ install: bool = False,
+ build: bool = False,
+ deps: bool = False,
+ verbose: bool = False,
+ interactive: bool = False,
+ ):
logger.info("Cleaning Seal5 directories")
to_clean = []
if temp:
to_clean.append(self.settings.temp_dir)
if patches:
|
seal5/backends/yaml/writer.py#L19
'm2isar.metamodel.behav' imported but unused (F401)
|
/home/runner/work/seal5/seal5/seal5/passes.py#L50
@DataClass
class PassResult:
metrics: Optional[dict] = None
outputs: Optional[List[Path]] = None
+
def check_filter(name, skip, only):
print("check_filter", name, skip, only)
if skip is None:
skip = []
if only is None:
only = []
- if not (
- (name in only or len(only) == 0)
- and (name not in skip or len(skip) == 0)
- ):
+ if not ((name in only or len(only) == 0) and (name not in skip or len(skip) == 0)):
return True
return False
+
class Seal5Pass:
def __init__(self, name, pass_type, pass_scope, handler, fmt=PassFormat.NONE, order=-1, options=None):
self.name: str = name
self.pass_type: PassType = pass_type
|
seal5/flow.py#L36
'seal5.index.File' imported but unused (F401)
|
/home/runner/work/seal5/seal5/seal5/settings.py#L321
# @DataClass
# class TransformSettings(YAMLSettings):
# pass
+
@DataClass
class PassesSetting(YAMLSettings):
skip: Optional[List[str]] = None
only: Optional[List[str]] = None
|
seal5/flow.py#L36
'seal5.index.NamedPatch' imported but unused (F401)
|
seal5/flow.py#L36
'seal5.index.write_index_yaml' imported but unused (F401)
|
seal5/flow.py#L37
'seal5.passes.PassResult' imported but unused (F401)
|
seal5/flow.py#L607
Line too long (148 > 120 characters) (E501)
|
seal5/flow.py#L628
Line too long (241 > 120 characters) (E501)
|
seal5/frontends/coredsl2_seal5/architecture_model_builder.py#L273
Whitespace before ':' (E203)
|
seal5/frontends/coredsl2_seal5/behavior_model_builder.py#L340
Whitespace before ':' (E203)
|
seal5/passes.py#L2
'multiprocessing' imported but unused (F401)
|
seal5/passes.py#L55
Expected 2 blank lines, found 1 (E302)
|
seal5/passes.py#L68
Expected 2 blank lines, found 1 (E302)
|
seal5/resources/lit.cfg.py#L7
'lit.llvm.llvm_config' imported but unused (F401)
|
seal5/resources/lit.cfg.py#L10
Undefined name 'config' (F821)
|
seal5/resources/lit.cfg.py#L14
Undefined name 'config' (F821)
|
seal5/resources/lit.cfg.py#L18
Undefined name 'config' (F821)
|
seal5/backends/riscv_features/writer.py#L27
Line too long (133 > 120 characters) (E501)
|
seal5/backends/riscv_features/writer.py#L29
Line too long (150 > 120 characters) (E501)
|
seal5/backends/yaml/writer.py#L19
'm2isar.metamodel.patch_model' imported but unused (F401)
|
seal5/backends/yaml/writer.py#L19
'm2isar.metamodel.behav' imported but unused (F401)
|
seal5/flow.py#L36
'seal5.index.File' imported but unused (F401)
|
seal5/flow.py#L36
'seal5.index.NamedPatch' imported but unused (F401)
|
seal5/flow.py#L36
'seal5.index.write_index_yaml' imported but unused (F401)
|
seal5/flow.py#L37
'seal5.passes.PassResult' imported but unused (F401)
|
/home/runner/work/seal5/seal5/seal5/flow.py#L159
("collect_immediate_operands", passes.collect_immediate_operands, {}),
("collect_operand_types", passes.collect_operand_types, {}),
("detect_side_effects", passes.detect_side_effects, {}),
("detect_inouts", passes.detect_inouts, {}),
("detect_registers", passes.detect_registers, {}),
- ("write_cdsl_full", passes.write_cdsl, {"split": False, "compat": False})
+ ("write_cdsl_full", passes.write_cdsl, {"split": False, "compat": False}),
# TODO: determine static constraints (xlen,...) -> subtargetvmap
# detect memory adressing modes
# self.detect_adressing_modes(verbose) # TODO
# detect legal GMIR ops (and map to selectiondag?)
# self.detect_legal_ops(verbose=verbose) # TODO
|
seal5/flow.py#L607
Line too long (148 > 120 characters) (E501)
|
/home/runner/work/seal5/seal5/seal5/flow.py#L602
if isinstance(dest, str):
dest = Path(dest)
suffix = dest.suffix
if suffix != ".gz":
raise NotImplementedError("Only .tar.gz export is supported!")
- artifacts = [self.settings.inputs_dir, self.settings.gen_dir, self.settings.models_dir, self.settings.logs_dir, self.settings.settings_file]
+ artifacts = [
+ self.settings.inputs_dir,
+ self.settings.gen_dir,
+ self.settings.models_dir,
+ self.settings.logs_dir,
+ self.settings.settings_file,
+ ]
with tarfile.open(dest, mode="w:gz") as archive:
for artifact in artifacts:
name = str(artifact)
assert str(self.settings.meta_dir) in name
name = name.replace(f"{self.settings.meta_dir}/", "")
|
/home/runner/work/seal5/seal5/seal5/flow.py#L623
raise NotImplementedError
if settings:
self.settings.reset()
logger.info("Completed clean of Seal5 settings")
- def clean(self, temp: bool = False, patches: bool = False, models: bool = False, inputs: bool = False, logs: bool = False, install: bool = False, build: bool = False, deps: bool = False, verbose: bool = False, interactive: bool = False):
+ def clean(
+ self,
+ temp: bool = False,
+ patches: bool = False,
+ models: bool = False,
+ inputs: bool = False,
+ logs: bool = False,
+ install: bool = False,
+ build: bool = False,
+ deps: bool = False,
+ verbose: bool = False,
+ interactive: bool = False,
+ ):
logger.info("Cleaning Seal5 directories")
to_clean = []
if temp:
to_clean.append(self.settings.temp_dir)
if patches:
|
/home/runner/work/seal5/seal5/seal5/passes.py#L50
@DataClass
class PassResult:
metrics: Optional[dict] = None
outputs: Optional[List[Path]] = None
+
def check_filter(name, skip, only):
print("check_filter", name, skip, only)
if skip is None:
skip = []
if only is None:
only = []
- if not (
- (name in only or len(only) == 0)
- and (name not in skip or len(skip) == 0)
- ):
+ if not ((name in only or len(only) == 0) and (name not in skip or len(skip) == 0)):
return True
return False
+
class Seal5Pass:
def __init__(self, name, pass_type, pass_scope, handler, fmt=PassFormat.NONE, order=-1, options=None):
self.name: str = name
self.pass_type: PassType = pass_type
|
/home/runner/work/seal5/seal5/seal5/settings.py#L321
# @DataClass
# class TransformSettings(YAMLSettings):
# pass
+
@DataClass
class PassesSetting(YAMLSettings):
skip: Optional[List[str]] = None
only: Optional[List[str]] = None
|
seal5/flow.py#L628
Line too long (241 > 120 characters) (E501)
|
seal5/frontends/coredsl2_seal5/architecture_model_builder.py#L273
Whitespace before ':' (E203)
|
seal5/frontends/coredsl2_seal5/behavior_model_builder.py#L340
Whitespace before ':' (E203)
|
seal5/passes.py#L2
'multiprocessing' imported but unused (F401)
|
seal5/passes.py#L55
Expected 2 blank lines, found 1 (E302)
|
seal5/passes.py#L68
Expected 2 blank lines, found 1 (E302)
|
seal5/resources/lit.cfg.py#L7
'lit.llvm.llvm_config' imported but unused (F401)
|
seal5/resources/lit.cfg.py#L10
Undefined name 'config' (F821)
|
seal5/resources/lit.cfg.py#L14
Undefined name 'config' (F821)
|
seal5/resources/lit.cfg.py#L18
Undefined name 'config' (F821)
|
Check for License headers
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Run linters
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4, wearerequired/lint-action@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Run linters
The following actions uses node12 which is deprecated and will be forced to run on node16: wearerequired/lint-action@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|