[submodule "verific"]
	path = verific
	url = git@github.com:silimate/verific.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
[submodule "backward-cpp"]
	path = libs/backward-cpp
	url = git@github.com:bombela/backward-cpp.git
