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

[soc.git] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index e36123341eddf1252bfb4e8734315ccbcc887238..d6a70bcb4bb2ab938edf11fa75f8cefd54a69232 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,9 +1,15 @@
 [submodule "pinmux"]
        path = pinmux
        url = https://git.libre-soc.org/git/pinmux.git
-[submodule "libreriscv"]
-       path = libreriscv
-       url = https://git.libre-soc.org/git/libreriscv.git
 [submodule "src/soc/litex/florent"]
        path = src/soc/litex/florent
        url = https://git.libre-soc.org/git/libresoc-litex.git
+[submodule "nmigen-type-annotations"]
+       path = nmigen-type-annotations
+       url = https://git.libre-soc.org/git/nmigen-type-annotations.git
+[submodule "soc-cocotb-sim"]
+       path = soc-cocotb-sim
+       url = https://git.libre-soc.org/git/soc-cocotb-sim.git
+[submodule "src/soc/soc-cocotb-sim"]
+       path = src/soc/soc-cocotb-sim
+       url = https://git.libre-soc.org/git/soc-cocotb-sim.git