Merge branch 'jonas/xyber768' of github.com:cryspen/libcrux into jona…

…s/xyber768
cryspen · Jun 26, 2024 · 422bedb · 422bedb
2 parents 00e62c0 + 6b39b9e
commit 422bedb
Show file tree

Hide file tree

Showing 4 changed files with 21 additions and 20 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/libcrux-intrinsics/Cargo.toml b/libcrux-intrinsics/Cargo.toml
@@ -7,14 +7,9 @@ homepage.workspace = true
 edition.workspace = true
 repository.workspace = true
 readme.workspace = true
+exclude = ["/proofs"]
 
 [dependencies]
-# libcrux-platform = { version = "0.0.2-pre.2", path = "../sys/platform" }
-
-# This is only required for verification.
-# The hax config is set by the hax toolchain.
-[target.'cfg(hax)'.dependencies]
-hax-lib = { git = "https://github.com/hacspec/hax/" }
 
 [features]
 simd128 = []

diff --git a/libcrux-ml-kem/Cargo.toml b/libcrux-ml-kem/Cargo.toml
@@ -7,7 +7,15 @@ homepage.workspace = true
 edition.workspace = true
 repository.workspace = true
 readme.workspace = true
-exclude = ["/tests", "/implementation_notes.pdf"]
+exclude = [
+    "/tests",
+    "/implementation_notes.pdf",
+    "/c",
+    "/proofs",
+    "/c.sh",
+    "/c.yaml",
+    "/hax.py",
+]
 
 [dependencies]
 rand_core = { version = "0.6" }
@@ -18,7 +26,7 @@ libcrux-intrinsics = { version = "0.0.2-pre.2", path = "../libcrux-intrinsics" }
 # This is only required for verification.
 # The hax config is set by the hax toolchain.
 [target.'cfg(hax)'.dependencies]
-hax-lib = { git = "https://github.com/hacspec/hax/" }
+hax-lib = { version = "0.1.0-pre.1", git = "https://github.com/hacspec/hax/" }
 
 [features]
 default = ["std"]

diff --git a/libcrux-sha3/Cargo.toml b/libcrux-sha3/Cargo.toml
@@ -7,6 +7,7 @@ homepage.workspace = true
 edition.workspace = true
 repository.workspace = true
 readme.workspace = true
+exclude = ["/proofs", "/c.sh", "/c.yaml"]
 
 [dependencies]
 libcrux-platform = { version = "0.0.2-pre.2", path = "../sys/platform" }
@@ -15,7 +16,7 @@ libcrux-intrinsics = { version = "0.0.2-pre.2", path = "../libcrux-intrinsics" }
 # This is only required for verification.
 # The hax config is set by the hax toolchain.
 [target.'cfg(hax)'.dependencies]
-hax-lib = { git = "https://github.com/hacspec/hax/" }
+hax-lib = { version = "0.1.0-pre.1", git = "https://github.com/hacspec/hax/" }
 
 [features]
 simd128 = []