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

about summary refs log tree commit diff stats

path: root/.gitmodules

blob: f30817eb90a7d72f7c706ef0205a239a22860cc9 (plain)

1
2
3

[submodule "lib/CompCert"]
	path = lib/CompCert
	url = https://github.com/ymherklotz/CompCert.git