From b811e1fadaf260c22a20d001dc6746f352703e30 Mon Sep 17 00:00:00 2001 From: Jonas Schneider-Bensch Date: Wed, 15 Jan 2025 15:30:54 +0100 Subject: [PATCH 1/3] Track latest libcrux git versions --- Cargo.toml | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/Cargo.toml b/Cargo.toml index 53c8b2a..d2e6163 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -17,8 +17,8 @@ backtrace = "0.3.0" rand = "0.8.0" hex = "0.4.3" tracing = "0.1" -libcrux-kem = {version = "0.0.2-alpha.1", features = ["pre-verification", "kyber"]} -libcrux = { version = "0.0.2-alpha.1", features = [ +libcrux-kem = { git = "https://github.com/cryspen/libcrux", features = ["pre-verification", "kyber"]} +libcrux = { git = "https://github.com/cryspen/libcrux", features = [ "rand", ]} hax-lib-macros = { git = "https://github.com/hacspec/hax", optional = true } @@ -68,8 +68,5 @@ default-members = [ "integration_tests", ] -[patch.crates-io] -libcrux = { git = "https://github.com/cryspen/libcrux" } - [lints.rust] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(bench)'] } From f70e00746cb29c11a412e16ebd14854be961eb58 Mon Sep 17 00:00:00 2001 From: Jonas Schneider-Bensch <124457079+jschneider-bensch@users.noreply.github.com> Date: Wed, 15 Jan 2025 16:23:03 +0100 Subject: [PATCH 2/3] Update Cargo.toml Co-authored-by: Franziskus Kiefer --- Cargo.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Cargo.toml b/Cargo.toml index d2e6163..6b70b4b 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -17,7 +17,7 @@ backtrace = "0.3.0" rand = "0.8.0" hex = "0.4.3" tracing = "0.1" -libcrux-kem = { git = "https://github.com/cryspen/libcrux", features = ["pre-verification", "kyber"]} +libcrux-kem = { git = "https://github.com/cryspen/libcrux", features = ["kyber"]} libcrux = { git = "https://github.com/cryspen/libcrux", features = [ "rand", ]} From 02af0dc8c5f361ec8b44256693bcc0fde402db41 Mon Sep 17 00:00:00 2001 From: Jonas Schneider-Bensch Date: Wed, 15 Jan 2025 16:23:24 +0100 Subject: [PATCH 3/3] Track libcrux-git in integration tests too --- integration_tests/Cargo.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/integration_tests/Cargo.toml b/integration_tests/Cargo.toml index 2acab70..a082df4 100644 --- a/integration_tests/Cargo.toml +++ b/integration_tests/Cargo.toml @@ -7,7 +7,7 @@ edition = "2021" [dependencies] bertie = { version = "0.1.0-pre.2", path = ".." } -libcrux-platform = "0.0.2-alpha.1" +libcrux-platform = { git = "https://github.com/cryspen/libcrux" } tracing-subscriber = "0.3" [dev-dependencies]