Skip to content

Commit

Permalink
lint code
Browse files Browse the repository at this point in the history
  • Loading branch information
PhilippvK committed May 14, 2024
1 parent 69dd6b1 commit ff80353
Show file tree
Hide file tree
Showing 17 changed files with 25 additions and 17 deletions.
3 changes: 1 addition & 2 deletions examples/demo.py
Original file line number Diff line number Diff line change
Expand Up @@ -67,8 +67,7 @@
seal5_flow.load(cdsl_files, verbose=VERBOSE, overwrite=True)

# Load test inputs
test_files = [
]
test_files = []
seal5_flow.load(test_files, verbose=VERBOSE, overwrite=True)

# Load YAML inputs
Expand Down
7 changes: 6 additions & 1 deletion seal5/flow.py
Original file line number Diff line number Diff line change
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
17 changes: 17 additions & 0 deletions seal5/pass_list.py
Original file line number Diff line number Diff line change
Expand Up @@ -47,6 +47,7 @@ def convert_models(
args.extend(["--prefix", prefix])
if not use_subprocess:
from seal5.transform.converter import main as Converter

args = sanitize_args(args)
Converter(args)
else:
Expand Down Expand Up @@ -83,6 +84,7 @@ def optimize_model(
]
if not use_subprocess:
from seal5.transform.optimize_instructions import OptimizeInstructions

args = sanitize_args(args)
OptimizeInstructions(args)
else:
Expand Down Expand Up @@ -118,6 +120,7 @@ def infer_types(
]
if not use_subprocess:
from seal5.transform.infer_types import InferTypes

args = sanitize_args(args)
InferTypes(args)
else:
Expand Down Expand Up @@ -153,6 +156,7 @@ def simplify_trivial_slices(
]
if not use_subprocess:
from seal5.transform.simplify_trivial_slices import SimplifyTrivialSlices

args = sanitize_args(args)
SimplifyTrivialSlices(args)
else:
Expand Down Expand Up @@ -188,6 +192,7 @@ def explicit_truncations(
]
if not use_subprocess:
from seal5.transform.explicit_truncations import ExplicitTruncations

args = sanitize_args(args)
ExplicitTruncations(args)
else:
Expand Down Expand Up @@ -225,6 +230,7 @@ def process_settings(
]
if not use_subprocess:
from seal5.transform.process_settings import ProcessSettings

args = sanitize_args(args)
ProcessSettings(args)
else:
Expand Down Expand Up @@ -287,6 +293,7 @@ def get_filter_args(settings, suffix):
]
if not use_subprocess:
from seal5.transform.filter_model import FilterModel

args = sanitize_args(args)
FilterModel(args)
else:
Expand Down Expand Up @@ -322,6 +329,7 @@ def drop_unused(
]
if not use_subprocess:
from seal5.transform.drop_unused import DropUnused

args = sanitize_args(args)
DropUnused(args)
else:
Expand Down Expand Up @@ -357,6 +365,7 @@ def detect_registers(
]
if not use_subprocess:
from seal5.transform.detect_registers import main as DetectRegisters

args = sanitize_args(args)
DetectRegisters(args)
else:
Expand Down Expand Up @@ -392,6 +401,7 @@ def detect_behavior_constraints(
]
if not use_subprocess:
from seal5.transform.collect_raises import CollectRaises

args = sanitize_args(args)
CollectRaises(args)
else:
Expand Down Expand Up @@ -427,6 +437,7 @@ def detect_side_effects(
]
if not use_subprocess:
from seal5.transform.detect_side_effects import DetectSideEffects

args = sanitize_args(args)
DetectSideEffects(args)
else:
Expand Down Expand Up @@ -462,6 +473,7 @@ def detect_inouts(
]
if not use_subprocess:
from seal5.transform.detect_inouts import DetectInouts

args = sanitize_args(args)
DetectInouts(args)
else:
Expand Down Expand Up @@ -498,6 +510,7 @@ def collect_operand_types(
]
if not use_subprocess:
from seal5.transform.collect_operand_types import CollectOperandTypes

args = sanitize_args(args)
CollectOperandTypes(args)
else:
Expand Down Expand Up @@ -534,6 +547,7 @@ def collect_register_operands(
]
if not use_subprocess:
from seal5.transform.collect_register_operands import CollectRegisterOperands

args = sanitize_args(args)
CollectRegisterOperands(args)
else:
Expand Down Expand Up @@ -569,6 +583,7 @@ def collect_immediate_operands(
]
if not use_subprocess:
from seal5.transform.collect_immediate_operands import CollectImmediateOperands

args = sanitize_args(args)
CollectImmediateOperands(args)
else:
Expand Down Expand Up @@ -604,6 +619,7 @@ def eliminate_rd_cmp_zero(
]
if not use_subprocess:
from seal5.transform.eliminate_rd_cmp_zero import EliminateRdCmpZero

args = sanitize_args(args)
EliminateRdCmpZero(args)
else:
Expand Down Expand Up @@ -639,6 +655,7 @@ def eliminate_mod_rfs(
]
if not use_subprocess:
from seal5.transform.eliminate_mod_rfs import EliminateModRFS

args = sanitize_args(args)
EliminateModRFS(args)
else:
Expand Down
1 change: 0 additions & 1 deletion seal5/transform/collect_immediate_operands/collect.py
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,6 @@ def get_parser():


def run(args):

# initialize logging
logging.basicConfig(level=getattr(logging, args.log.upper()))

Expand Down
1 change: 0 additions & 1 deletion seal5/transform/collect_operand_types/collect.py
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,6 @@ def get_parser():


def run(args):

# initialize logging
logging.basicConfig(level=getattr(logging, args.log.upper()))

Expand Down
1 change: 0 additions & 1 deletion seal5/transform/collect_raises/collect.py
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,6 @@ def get_parser():


def run(args):

# initialize logging
logging.basicConfig(level=getattr(logging, args.log.upper()))

Expand Down
1 change: 0 additions & 1 deletion seal5/transform/collect_register_operands/collect.py
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,6 @@ def get_parser():


def run(args):

# initialize logging
logging.basicConfig(level=getattr(logging, args.log.upper()))

Expand Down
1 change: 0 additions & 1 deletion seal5/transform/detect_inouts/collect.py
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,6 @@ def get_parser():


def run(args):

# initialize logging
logging.basicConfig(level=getattr(logging, args.log.upper()))

Expand Down
1 change: 0 additions & 1 deletion seal5/transform/detect_registers.py
Original file line number Diff line number Diff line change
Expand Up @@ -62,7 +62,6 @@ def get_parser():


def run(args):

# initialize logging
logging.basicConfig(level=getattr(logging, args.log.upper()))

Expand Down
1 change: 0 additions & 1 deletion seal5/transform/detect_side_effects/collect.py
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,6 @@ def get_parser():


def run(args):

# initialize logging
logging.basicConfig(level=getattr(logging, args.log.upper()))

Expand Down
1 change: 0 additions & 1 deletion seal5/transform/drop_unused/optimizer.py
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,6 @@ def get_parser():


def run(args):

# initialize logging
logging.basicConfig(level=getattr(logging, args.log.upper()))

Expand Down
1 change: 0 additions & 1 deletion seal5/transform/eliminate_mod_rfs/transform.py
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,6 @@ def get_parser():


def run(args):

# initialize logging
logging.basicConfig(level=getattr(logging, args.log.upper()))

Expand Down
1 change: 0 additions & 1 deletion seal5/transform/eliminate_rd_cmp_zero/transform.py
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,6 @@ def get_parser():


def run(args):

# initialize logging
logging.basicConfig(level=getattr(logging, args.log.upper()))

Expand Down
1 change: 0 additions & 1 deletion seal5/transform/explicit_truncations/transform.py
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,6 @@ def get_parser():


def run(args):

# initialize logging
logging.basicConfig(level=getattr(logging, args.log.upper()))

Expand Down
1 change: 0 additions & 1 deletion seal5/transform/filter_model/filter.py
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,6 @@ def get_parser():


def run(args):

# initialize logging
logging.basicConfig(level=getattr(logging, args.log.upper()))

Expand Down
2 changes: 1 addition & 1 deletion seal5/transform/process_settings/transform.py
Original file line number Diff line number Diff line change
Expand Up @@ -31,8 +31,8 @@ def get_parser():
parser.add_argument("--yaml", type=str, default=None)
return parser

def run(args):

def run(args):
# initialize logging
logging.basicConfig(level=getattr(logging, args.log.upper()))

Expand Down
1 change: 0 additions & 1 deletion seal5/transform/simplify_trivial_slices/transform.py
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,6 @@ def get_parser():


def run(args):

# initialize logging
logging.basicConfig(level=getattr(logging, args.log.upper()))

Expand Down

0 comments on commit ff80353

Please sign in to comment.