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 adb206962b55da9708ca3c6e840783083ce6e914..8193dbc8f2ba0d60c12eddcbe35f5b74f57c652d 100644 (file)
--- a/flake.lock
+++ b/flake.lock
@@ -16,23 +16,39 @@
         "url": "https://git.libre-soc.org/git/c4m-jtag.git"
       }
     },
-    "nix-litex": {
+    "migen": {
       "flake": false,
       "locked": {
-        "lastModified": 1631995585,
-        "narHash": "sha256-DOkmQo/Y7Oorhj4ayNZpzL/HDNPiZnaqssAHwLEv3F4=",
-        "owner": "lschuermann",
-        "repo": "nix-litex",
-        "rev": "032c4f53bc70a32b217aaf634ee9a1bbce43f2bb",
+        "lastModified": 1631614362,
+        "narHash": "sha256-BgYf4e7O/rbS5P1ZpDlcgCEUh2h2vK3FyHADdzyaMg0=",
+        "owner": "m-labs",
+        "repo": "migen",
+        "rev": "7bc4eb1387b39159a74c1dbd1b820728e0bfbbaa",
         "type": "github"
       },
       "original": {
-        "owner": "lschuermann",
-        "ref": "staging",
-        "repo": "nix-litex",
+        "owner": "m-labs",
+        "repo": "migen",
         "type": "github"
       }
     },
+    "nix-litex": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1632150297,
+        "narHash": "sha256-ghlAJBZxLVkQB+9tXEOBOF1FfdT5Pn4292khF4iKCNA=",
+        "ref": "main",
+        "rev": "5ab6984eb1efad0c91d808c9b7b79e00e50ccc05",
+        "revCount": 31,
+        "type": "git",
+        "url": "https://git.sr.ht/~lschuermann/nix-litex"
+      },
+      "original": {
+        "ref": "main",
+        "type": "git",
+        "url": "https://git.sr.ht/~lschuermann/nix-litex"
+      }
+    },
     "nixpkgs": {
       "locked": {
         "lastModified": 1631723418,
@@ -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"
       }
     }
   },