Allow the formal engine to perform a same-cycle result in the ALU

[soc.git] / flake.lock

diff --git a/flake.lock b/flake.lock
index c69ffb0b01cdaaf2b053abeac69c923f63e016c9..8193dbc8f2ba0d60c12eddcbe35f5b74f57c652d 100644 (file)
--- a/flake.lock
+++ b/flake.lock
@@ -104,7 +104,25 @@
         "nix-litex": "nix-litex",
         "nixpkgs": "nixpkgs",
         "nmigen": "nmigen",
-        "nmigen-soc": "nmigen-soc"
+        "nmigen-soc": "nmigen-soc",
+        "yosys": "yosys"
+      }
+    },
+    "yosys": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1617979565,
+        "narHash": "sha256-M8ppe+lL/pgd2sXh7bM6/sbk1099KKECeWA5mXtqE6Y=",
+        "owner": "YosysHQ",
+        "repo": "yosys",
+        "rev": "a58571d0fe8971cb7d3a619a31b2c21be6d75bac",
+        "type": "github"
+      },
+      "original": {
+        "owner": "YosysHQ",
+        "repo": "yosys",
+        "rev": "a58571d0fe8971cb7d3a619a31b2c21be6d75bac",
+        "type": "github"
       }
     }
   },