demos: disable PREPATCHED by default #52
PhilippvKstyle.yml
on: push
Run linters
16s
Check for License headers
9s
Annotations
9 errors and 3 warnings
|
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)
|
|
/home/runner/work/seal5/seal5/seal5/flow.py#L161
("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/frontends/coredsl2_seal5/architecture_model_builder.py#L273
Whitespace before ':' (E203)
|
|
seal5/frontends/coredsl2_seal5/behavior_model_builder.py#L340
Whitespace before ':' (E203)
|
|
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/
|