.gitmodules - vericert - Vericert is a formally verified high-level synthesis tool.

about summary refs log tree commit diff stats

path: root/.gitmodules

blob: 3c4ea025834e6f01ec21dfb78b3ad96e2fec5e8a (plain)

1
2
3

[submodule "lib/bbv"]
	path = lib/bbv
	url = git@github.com:mit-plv/bbv.git