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 b88daca0b8ccfdd446eab52242ab2a0bebd64032..8193dbc8f2ba0d60c12eddcbe35f5b74f57c652d 100644 (file)
--- a/flake.lock
+++ b/flake.lock
@@ -16,6 +16,22 @@
         "url": "https://git.libre-soc.org/git/c4m-jtag.git"
       }
     },
+    "migen": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1631614362,
+        "narHash": "sha256-BgYf4e7O/rbS5P1ZpDlcgCEUh2h2vK3FyHADdzyaMg0=",
+        "owner": "m-labs",
+        "repo": "migen",
+        "rev": "7bc4eb1387b39159a74c1dbd1b820728e0bfbbaa",
+        "type": "github"
+      },
+      "original": {
+        "owner": "m-labs",
+        "repo": "migen",
+        "type": "github"
+      }
+    },
     "nix-litex": {
       "flake": false,
       "locked": {
@@ -84,10 +100,29 @@
     "root": {
       "inputs": {
         "c4m-jtag": "c4m-jtag",
+        "migen": "migen",
         "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"
       }
     }
   },