fix specs

formosa-crypto · Dec 17, 2024 · c60282f · c60282f
1 parent a805644
commit c60282f
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