https://github.com/project-everest/hacl-star
Raw File
Tip revision: 0030539598cde15d1a0e5f93b32e121f7b7b5a1c authored by Benjamin Beurdouche on 16 August 2017, 05:24:18 UTC
Merge pull request #29 - Multiple improvements
Tip revision: 0030539
.gitmodules
[submodule "FStar"]
	path = dependencies/FStar
	url = https://github.com/FStarLang/FStar.git
[submodule "kremlin"]
	path = dependencies/kremlin
	url = https://github.com/FStarLang/kremlin.git
back to top