Skip to content

update xcorev cdsl submodule #21

update xcorev cdsl submodule

update xcorev cdsl submodule #21

Triggered via push March 4, 2024 20:08
Status Success
Total duration 19s
Billable time 2m
Artifacts

style.yml

on: push
Run linters
10s
Check for License headers
5s

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/