mirror of
https://github.com/YosysHQ/yosys
synced 2025-10-30 03:02:30 +00:00
13 lines
386 B
Text
13 lines
386 B
Text
[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
|
|
# Don't use paths as names to avoid git archive problems
|
|
[submodule "cxxopts"]
|
|
path = libs/cxxopts
|
|
url = https://github.com/jarro2783/cxxopts
|