From 6affb9b5ce5dc4dd8a7de54569751316ed4d57cf Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Sat, 4 Jan 2025 21:35:46 -0800 Subject: [PATCH] Remove yosys-slang for now --- .gitmodules | 3 --- yosys-slang | 1 - 2 files changed, 4 deletions(-) delete mode 160000 yosys-slang diff --git a/.gitmodules b/.gitmodules index cbbae7f31..1a080163c 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,9 +1,6 @@ [submodule "verific"] path = verific url = git@github.com:silimate/verific.git -[submodule "yosys-slang"] - path = yosys-slang - url = git@github.com:silimate/yosys-slang.git [submodule "abc"] path = abc url = https://github.com/YosysHQ/abc diff --git a/yosys-slang b/yosys-slang deleted file mode 160000 index 3a3779d2c..000000000 --- a/yosys-slang +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 3a3779d2cbb85995fbd80b298f93682a3f12eefd