seal5_flow.clean(temp=True, patches=True, models=True, inputs=True, interactive=INTERACTIVE)
 
 # Clone LLVM and init seal5 metadata directory
 seal5_flow.initialize(
     clone=True,
-    clone_url="[email protected]:de-tum-ei-eda-esl/llvm/core-v-llvm-project.git"
-    if PREPATCHED
-    else "https://github.com/llvm/llvm-project.git",
+    clone_url=(
+        "[email protected]:de-tum-ei-eda-esl/llvm/core-v-llvm-project.git"
+        if PREPATCHED
+        else "https://github.com/llvm/llvm-project.git"
+    ),
     # clone_ref="llvmorg-17.0.6",
     clone_ref="seal5-demo-prepatched" if PREPATCHED else "llvmorg-18.1.0-rc3",
     force=True,
     verbose=VERBOSE,
 )

             ("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