[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