Skip to content

chacha20 extension syntax tweak #489

chacha20 extension syntax tweak

chacha20 extension syntax tweak #489

Triggered via push February 6, 2025 09:31
Status Success
Total duration 25s
Artifacts

style.yml

on: push
Run linters
13s
Run linters
Check for License headers
7s
Check for License headers
Fit to window
Zoom out
Zoom in

Annotations

14 errors
examples/chacha20_demo.py#L83
Continuation line missing indentation or outdented (E122)
examples/chacha20_demo.py#L84
Continuation line missing indentation or outdented (E122)
examples/chacha20_demo.py#L85
Continuation line missing indentation or outdented (E122)
/home/runner/work/seal5/seal5/examples/chacha20_demo.py#L78
] seal5_flow.load(cdsl_files, verbose=VERBOSE, overwrite=True) # Load test inputs test_files = [ -# EXAMPLES_DIR / "tests" / "xexample" / "xexample-*.s", -# EXAMPLES_DIR / "tests" / "xexample" / "xexample-*.ll", -# EXAMPLES_DIR / "tests" / "xexample" / "xexample-*.c", + # EXAMPLES_DIR / "tests" / "xexample" / "xexample-*.s", + # EXAMPLES_DIR / "tests" / "xexample" / "xexample-*.ll", + # EXAMPLES_DIR / "tests" / "xexample" / "xexample-*.c", ] seal5_flow.load(test_files, verbose=VERBOSE, overwrite=True) # Load YAML inputs cfg_files = [
seal5/dependencies.py#L33
Block comment should start with '# ' (E265)
/home/runner/work/seal5/seal5/seal5/dependencies.py#L28
from tqdm import tqdm from seal5.logging import get_logger from seal5.settings import LLVMVersion from seal5.utils import is_populated -#from .tools.llvm import CloneProgress # TODO: move to other file + +# from .tools.llvm import CloneProgress # TODO: move to other file logger = get_logger() + class CloneProgress(RemoteProgress): def __init__(self): super().__init__() self.pbar = tqdm()
seal5/dependencies.py#L37
Expected 2 blank lines, found 1 (E302)
/home/runner/work/seal5/seal5/seal5/dependencies.py#L46
class Dependency: pass + class SubstituteRepoURL: def __init__(self): self.repo_map = {} - for (var, val) in os.environ.items(): - if var[:9] == 'REPO_URL_': + for var, val in os.environ.items(): + if var[:9] == "REPO_URL_": self.repo_map[var[9:]] = val - def url(self, url:str): + def url(self, url: str): # substitute shell-incompatible chars in url - key = re.sub('[-#?.,/]', '_', url) - for (var,val) in self.repo_map.items(): + key = re.sub("[-#?.,/]", "_", url) + for var, val in self.repo_map.items(): if key.find(var) >= 0: return val return url substitute_repo_url = SubstituteRepoURL() + def apply_repository_override(url: str): return substitute_repo_url.url(url)
seal5/dependencies.py#L51
Expected 2 blank lines, found 1 (E302)
/home/runner/work/seal5/seal5/seal5/tools/llvm.py#L58
if len(dirty) > 0: logger.debug("Dirty files in LLVM repository: %s", ", ".join(dirty)) return False return True - def clone_llvm_repo( dest: Path, clone_url: str,
seal5/dependencies.py#L58
Missing whitespace after ':' (E231)
seal5/dependencies.py#L61
Missing whitespace after ',' (E231)
seal5/dependencies.py#L69
Expected 2 blank lines, found 1 (E302)
seal5/tools/llvm.py#L66
Too many blank lines (3) (E303)