Upgrade magma dependency to 3.0.0

leonardt · Dec 6, 2023 · 29b0372 · 29b0372
1 parent 7cb913e
commit 29b0372
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/setup.py b/setup.py
@@ -24,7 +24,7 @@
         "astor",
         "z3-solver",
         "hwtypes",
-        "magma-lang>=2.2.3",
+        "magma-lang>=3.0.0",
         "pyyaml",
         "scipy",
         "numpy",