pending

formosa-crypto · Dec 18, 2024 · 2c80d37 · 2c80d37
2 parents 86b59da + c60282f
commit 2c80d37
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 5 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,12 +1,9 @@
 [submodule "jasmin"]
 	path = jasmin
 	url = https://github.com/jasmin-lang/jasmin.git
-[submodule "sha3"]
-	path = sha3
-	url = https://gitlab.com/easycrypt/sha3.git
 [submodule "crypto-specs"]
 	path = crypto-specs
-	url = https://github.com/formosa-crypto/crypto-specs
+	url = git@github.com:formosa-crypto/crypto-specs.git
 [submodule "formosa-keccak"]
 	path = formosa-keccak
 	url = [email protected]:formosa-crypto/formosa-keccak.git

diff --git a/crypto-specs b/crypto-specs
+0 −666		common/JWordList.ec
+4 −5		fips202/properties/Keccakf1600_Spec.ec