update cdsl2llvm dependency branch

tum-ei-eda · Feb 21, 2024 · 0c67a66 · 0c67a66
1 parent b32330b
commit 0c67a66
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/seal5/dependencies.py b/seal5/dependencies.py
@@ -66,7 +66,7 @@ def __init__(self, clone_url="https://github.com/PhilippvK/M2-ISA-R-private.git"
 
 class CDSL2LLVMDependency(GitDependency):
     # def __init__(self, clone_url="https://github.com/mathis-s/CoreDSL2LLVM.git", ref="main"):
-    def __init__(self, clone_url="https://github.com/PhilippvK/CoreDSL2LLVM.git", ref="philippvk3"):
+    def __init__(self, clone_url="https://github.com/PhilippvK/CoreDSL2LLVM.git", ref="philippvk3-llvm18"):
         super().__init__("cdsl2llvm", clone_url, ref=ref)