From cd323712c16ddeb390d41f000828f9b3b6a4b391 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Wed, 12 Nov 2025 16:15:20 +0100 Subject: [PATCH 1/2] Update libcrux `Cargo.lock` --- libcrux-Cargo.lock | 53 +++++++++++++++++++++++----------------------- 1 file changed, 26 insertions(+), 27 deletions(-) diff --git a/libcrux-Cargo.lock b/libcrux-Cargo.lock index ad1b81f6..23d51fdd 100644 --- a/libcrux-Cargo.lock +++ b/libcrux-Cargo.lock @@ -389,7 +389,7 @@ checksum = "c2459377285ad874054d797f3ccebf984978aa39129f6eafde5cdc8315b612f8" [[package]] name = "core-models" -version = "0.0.3" +version = "0.0.4" dependencies = [ "hax-lib", "pastey", @@ -1047,7 +1047,7 @@ dependencies = [ [[package]] name = "libcrux-aead" -version = "0.0.3" +version = "0.0.4" dependencies = [ "libcrux-aesgcm", "libcrux-chacha20poly1305", @@ -1057,20 +1057,19 @@ dependencies = [ [[package]] name = "libcrux-aesgcm" -version = "0.0.3" +version = "0.0.4" dependencies = [ "aes-gcm", "cavp", "criterion 0.5.1", "hex", - "libcrux-aesgcm", "libcrux-intrinsics", "libcrux-platform", "libcrux-secrets", "libcrux-traits", "pretty_env_logger", "rand 0.9.2", - "rand_core 0.6.4", + "rand_core 0.9.3", "wycheproof", ] @@ -1085,7 +1084,7 @@ dependencies = [ [[package]] name = "libcrux-blake2" -version = "0.0.3" +version = "0.0.4" dependencies = [ "criterion 0.7.0", "libcrux-hacl-rs", @@ -1096,7 +1095,7 @@ dependencies = [ [[package]] name = "libcrux-chacha20poly1305" -version = "0.0.3" +version = "0.0.4" dependencies = [ "hex", "libcrux-hacl-rs", @@ -1111,7 +1110,7 @@ dependencies = [ [[package]] name = "libcrux-curve25519" -version = "0.0.3" +version = "0.0.4" dependencies = [ "libcrux-hacl-rs", "libcrux-macros", @@ -1121,7 +1120,7 @@ dependencies = [ [[package]] name = "libcrux-digest" -version = "0.0.3" +version = "0.0.4" dependencies = [ "libcrux-blake2", "libcrux-sha2", @@ -1131,7 +1130,7 @@ dependencies = [ [[package]] name = "libcrux-ecdh" -version = "0.0.3" +version = "0.0.4" dependencies = [ "hex", "libcrux-curve25519", @@ -1146,7 +1145,7 @@ dependencies = [ [[package]] name = "libcrux-ecdsa" -version = "0.0.3" +version = "0.0.4" dependencies = [ "libcrux-p256", "libcrux-sha2", @@ -1158,7 +1157,7 @@ dependencies = [ [[package]] name = "libcrux-ed25519" -version = "0.0.3" +version = "0.0.4" dependencies = [ "libcrux-hacl-rs", "libcrux-macros", @@ -1191,14 +1190,14 @@ dependencies = [ [[package]] name = "libcrux-hacl-rs" -version = "0.0.3" +version = "0.0.4" dependencies = [ "libcrux-macros", ] [[package]] name = "libcrux-hkdf" -version = "0.0.3" +version = "0.0.4" dependencies = [ "libcrux-hacl-rs", "libcrux-hmac", @@ -1207,7 +1206,7 @@ dependencies = [ [[package]] name = "libcrux-hmac" -version = "0.0.3" +version = "0.0.4" dependencies = [ "libcrux-hacl-rs", "libcrux-macros", @@ -1216,7 +1215,7 @@ dependencies = [ [[package]] name = "libcrux-intrinsics" -version = "0.0.3" +version = "0.0.4" dependencies = [ "core-models", "hax-lib", @@ -1233,7 +1232,7 @@ dependencies = [ [[package]] name = "libcrux-kem" -version = "0.0.3" +version = "0.0.4" dependencies = [ "hex", "libcrux-curve25519", @@ -1257,7 +1256,7 @@ dependencies = [ [[package]] name = "libcrux-ml-dsa" -version = "0.0.3" +version = "0.0.4" dependencies = [ "core-models", "criterion 0.7.0", @@ -1276,7 +1275,7 @@ dependencies = [ [[package]] name = "libcrux-ml-kem" -version = "0.0.3" +version = "0.0.4" dependencies = [ "criterion 0.7.0", "hax-lib", @@ -1303,7 +1302,7 @@ dependencies = [ [[package]] name = "libcrux-p256" -version = "0.0.3" +version = "0.0.4" dependencies = [ "libcrux-hacl-rs", "libcrux-macros", @@ -1321,7 +1320,7 @@ dependencies = [ [[package]] name = "libcrux-poly1305" -version = "0.0.3" +version = "0.0.4" dependencies = [ "libcrux-hacl-rs", "libcrux-macros", @@ -1338,7 +1337,7 @@ dependencies = [ [[package]] name = "libcrux-psq" -version = "0.0.4" +version = "0.0.5" dependencies = [ "clap", "classic-mceliece-rust", @@ -1362,7 +1361,7 @@ dependencies = [ [[package]] name = "libcrux-rsa" -version = "0.0.3" +version = "0.0.4" dependencies = [ "libcrux-hacl-rs", "libcrux-macros", @@ -1373,7 +1372,7 @@ dependencies = [ [[package]] name = "libcrux-secrets" -version = "0.0.3" +version = "0.0.4" dependencies = [ "criterion 0.7.0", "hax-lib", @@ -1382,7 +1381,7 @@ dependencies = [ [[package]] name = "libcrux-sha2" -version = "0.0.3" +version = "0.0.4" dependencies = [ "hex", "libcrux-hacl-rs", @@ -1392,7 +1391,7 @@ dependencies = [ [[package]] name = "libcrux-sha3" -version = "0.0.3" +version = "0.0.4" dependencies = [ "cavp", "clap", @@ -1415,7 +1414,7 @@ dependencies = [ [[package]] name = "libcrux-traits" -version = "0.0.3" +version = "0.0.4" dependencies = [ "libcrux-secrets", "rand 0.9.2", From 9671c07be48387a897f40a60b094c0e6da83f2d2 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Wed, 12 Nov 2025 16:15:40 +0100 Subject: [PATCH 2/2] Update charon --- flake.lock | 8 ++++---- out/test-issue_128/issue_128.c | 3 +-- 2 files changed, 5 insertions(+), 6 deletions(-) diff --git a/flake.lock b/flake.lock index b1fb4e05..8623ee3b 100644 --- a/flake.lock +++ b/flake.lock @@ -26,11 +26,11 @@ "rust-overlay": "rust-overlay" }, "locked": { - "lastModified": 1762785923, - "narHash": "sha256-aPzD5smzOOLuMw0BjADMhuuM53fJAmbzLmWED586INs=", - "owner": "AeneasVerif", + "lastModified": 1762959454, + "narHash": "sha256-maSIlekYuWyEsdpaxNXbPcKiJ1DIPtOehgxOicHRqDE=", + "owner": "aeneasverif", "repo": "charon", - "rev": "aa8de1a51675fbf6b65135d38d7e3986cadc626f", + "rev": "c4a8ab70cf49766f5fdb4950d54e7843dc94d03e", "type": "github" }, "original": { diff --git a/out/test-issue_128/issue_128.c b/out/test-issue_128/issue_128.c index fabc5ce3..36644978 100644 --- a/out/test-issue_128/issue_128.c +++ b/out/test-issue_128/issue_128.c @@ -54,9 +54,8 @@ static Eurydice_dst_ref_87 array_to_slice_5d(Eurydice_arr_51 *a) void issue_128_main(void) { - issue_128_E uu____0 = issue_128_E_A; /* original Rust expression is not an lvalue in C */ Eurydice_arr_51 lvalue = Eurydice_empty_array((void *)0U, uint8_t, Eurydice_arr_51); - issue_128_use_enum(uu____0, array_to_slice_5d(&lvalue)); + issue_128_use_enum(issue_128_E_A, array_to_slice_5d(&lvalue)); }