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

[soc.git] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index 8115c76122c8c4fb52944333afaaeb2bb761af0e..d6a70bcb4bb2ab938edf11fa75f8cefd54a69232 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,8 +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