https://github.com/project-everest/hacl-star
Raw File
Tip revision: 366d702cfaa2afdce0fdd013a06ea27cb6477246 authored by Chris Hawblitzel on 06 February 2019, 19:48:41 UTC
In valedepend.py, put importFStarTypes arguments in dependencies rather
Tip revision: 366d702
.gitmodules
[submodule "other_providers/openssl"]
	path = other_providers/openssl
	url = https://github.com/openssl/openssl.git
back to top