blob: 64fe9ee8190673a43221cfa16a270c6722bca0ae (
plain)
1
2
3
4
5
6
|
[submodule "lib/CompCert"]
path = lib/CompCert
url = https://github.com/ymherklotz/CompCert.git
[submodule "lib/cohpred"]
path = lib/cohpred
url = https://gitlab.inria.fr/pred-tv/cohpred
|