.gitmodules

[submodule "bench/third_party/openssl"]
	path = bench/third_party/openssl
	url = https://github.com/openssl/openssl.git
  ignore = dirty
[submodule "bench/third_party/libsodium"]
	path = bench/third_party/libsodium
	url = https://github.com/jedisct1/libsodium.git
[submodule "bench/third_party/hacl-star"]
	path = bench/third_party/hacl-star
	url = https://github.com/project-everest/hacl-star.git
  ignore = dirty
[submodule "bench/third_party/boringssl"]
	path = bench/third_party/boringssl
	url = https://github.com/google/boringssl.git
[submodule "bench/third_party/usuba"]
	path = bench/third_party/usuba
	url = https://github.com/DadaIsCrazy/usuba.git
[submodule "bench/third_party/fiat-crypto"]
	path = bench/third_party/fiat-crypto
	url = https://github.com/mit-plv/fiat-crypto
  ignore = dirty
[submodule "bench/third_party/hacl-star-evercrypt/hacl-star"]
	path = bench/third_party/hacl-star-evercrypt/hacl-star
	url = https://github.com/project-everest/hacl-star.git
	branch = evercrypt-v0.1+
	ignore = dirty
[submodule "env/third_party/jasmin"]
	path = env/third_party/jasmin
	url = https://github.com/jasmin-lang/jasmin.git
	branch = array_cast
[submodule "env/third_party/easycrypt"]
	path = env/third_party/easycrypt
	url = https://github.com/EasyCrypt/easycrypt.git
	branch = 1.0
[submodule "compcert_v3.6"]
	path = env/third_party/compcert/compcert_v3.6
	url = https://github.com/AbsInt/CompCert.git
[submodule "env/third_party/z3"]
	path = env/third_party/z3
	url = https://github.com/Z3Prover/z3.git
	ignore = dirty