mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-24 17:45:33 +00:00
3 lines
81 B
Text
3 lines
81 B
Text
[submodule "verific"]
|
|
path = verific
|
|
url = git@github.com:silimate/verific.git
|