Skip to content

Commit

Permalink
lint code
Browse files Browse the repository at this point in the history
  • Loading branch information
PhilippvK committed Apr 26, 2024
1 parent e5447b4 commit 3006bfe
Showing 1 changed file with 7 additions and 2 deletions.
9 changes: 7 additions & 2 deletions seal5/flow.py
Original file line number Diff line number Diff line change
Expand Up @@ -163,7 +163,7 @@ def create_passes(self):
("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
Expand Down Expand Up @@ -235,7 +235,12 @@ def initialize(
else:
if force:
self.repo, sha, version_info = llvm.clone_llvm_repo(
self.directory, clone_url, ref=clone_ref, refresh=True, label=self.name, git_settings=self.settings.git
self.directory,
clone_url,
ref=clone_ref,
refresh=True,
label=self.name,
git_settings=self.settings.git,
)
if self.settings.meta_dir.is_dir():
if force is False and not utils.ask_user(
Expand Down

0 comments on commit 3006bfe

Please sign in to comment.