From 3e98359a813b50d728a7b546d352f5d84fb652d8 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 23 Mar 2026 04:22:18 +0000 Subject: [PATCH] build(deps): bump vstd Bumps [vstd](https://github.com/verus-lang/verus) from 0.0.0-2026-03-08-0103 to 0.0.0-2026-03-22-0106. - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) --- updated-dependencies: - dependency-name: vstd dependency-version: 0.0.0-2026-03-22-0106 dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] --- Cargo.lock | 119 ++++++------------ Cargo.toml | 2 +- .../accessibility/bci_interface/Cargo.toml | 2 +- .../accessibility/braille_display/Cargo.toml | 2 +- .../accessibility/haptic_language/Cargo.toml | 2 +- .../accessibility/spectrum_2_0/Cargo.toml | 2 +- .../accessibility/voice_assistant/Cargo.toml | 2 +- userspace/ai/automation/Cargo.toml | 2 +- userspace/ai/cortex_ai/Cargo.toml | 2 +- userspace/ai/semantic_search/Cargo.toml | 2 +- .../android_subsystem/Cargo.toml | 2 +- .../compatibility/legacy_airlock/Cargo.toml | 2 +- userspace/compatibility/vnt_apps/Cargo.toml | 2 +- userspace/drivers/direct_metal/Cargo.toml | 2 +- userspace/drivers/iommu/Cargo.toml | 2 +- userspace/drivers/network/Cargo.toml | 2 +- userspace/multimedia/audio_mixer/Cargo.toml | 2 +- .../multimedia/babel_protocol/Cargo.toml | 2 +- userspace/multimedia/flux_engine/Cargo.toml | 2 +- userspace/profiles/interfaces/Cargo.toml | 2 +- .../profiles/permission_cards/Cargo.toml | 2 +- userspace/profiles/profiles/Cargo.toml | 2 +- userspace/security/compliance/Cargo.toml | 2 +- userspace/security/sentinel/Cargo.toml | 2 +- userspace/security/vault/Cargo.toml | 2 +- userspace/ui/flux/Cargo.toml | 2 +- userspace/ui/shells/Cargo.toml | 2 +- 27 files changed, 66 insertions(+), 105 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 22b9c573c..60cfd2fb4 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -10,7 +10,7 @@ checksum = "b169f7a6d4742236a0a00c541b845991d0ac43e546831af1249753ab4c3aa3a0" dependencies = [ "cfg-if", "cipher 0.4.4", - "cpufeatures", + "cpufeatures 0.2.17", ] [[package]] @@ -107,6 +107,17 @@ version = "1.0.4" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801" +[[package]] +name = "chacha20" +version = "0.10.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "6f8d983286843e49675a4b7a2d174efe136dc93a18d69130dd18198a6c167601" +dependencies = [ + "cfg-if", + "cpufeatures 0.3.0", + "rand_core", +] + [[package]] name = "chrono" version = "0.4.44" @@ -176,6 +187,15 @@ dependencies = [ "libc", ] +[[package]] +name = "cpufeatures" +version = "0.3.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "8b2a41393f66f16b0823bb79094d54ac5fbd34ab292ddafb9a0456ac9f87d201" +dependencies = [ + "libc", +] + [[package]] name = "crypto-common" version = "0.1.7" @@ -250,17 +270,6 @@ dependencies = [ "version_check", ] -[[package]] -name = "getrandom" -version = "0.2.17" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ff2abc00be7fca6ebc474524697ae276ad847ad0a6b3faa4bcb027e9a4614ad0" -dependencies = [ - "cfg-if", - "libc", - "wasi", -] - [[package]] name = "getrandom" version = "0.4.2" @@ -495,15 +504,6 @@ version = "1.0.15" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "57c0d7b74b563b49d38dae00a0c37d4d6de9b432382b2892f0574ddcae73fd0a" -[[package]] -name = "ppv-lite86" -version = "0.2.21" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "85eae3c4ed2f50dcfe72643da4befc30deadb458a9b590d720cde2f2b1e97da9" -dependencies = [ - "zerocopy", -] - [[package]] name = "prettyplease" version = "0.2.37" @@ -540,33 +540,20 @@ checksum = "f8dcc9c7d52a811697d2151c701e0d08956f92b0e24136cf4cf27b57a6a0d9bf" [[package]] name = "rand" -version = "0.8.5" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "34af8d1a0e25924bc5b7c43c079c942339d8f0a8b57c39049bef581b46327404" -dependencies = [ - "libc", - "rand_chacha", - "rand_core", -] - -[[package]] -name = "rand_chacha" -version = "0.3.1" +version = "0.10.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e6c10a63a0fa32252be49d21e7709d4d4baf8d231c2dbce1eaa8141b9b127d88" +checksum = "bc266eb313df6c5c09c1c7b1fbe2510961e5bcd3add930c1e31f7ed9da0feff8" dependencies = [ - "ppv-lite86", + "chacha20", + "getrandom", "rand_core", ] [[package]] name = "rand_core" -version = "0.6.4" +version = "0.10.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ec0be4795e2f6a28069bec0b5ff3e2ac9bafc99e6a9a7dc3547996c5c816922c" -dependencies = [ - "getrandom 0.2.17", -] +checksum = "0c8d0fd677905edcbeedbf2edb6494d676f0e98d54d5cf9bda0b061cb8fb8aba" [[package]] name = "rustversion" @@ -714,7 +701,7 @@ version = "1.22.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "a68d3c8f01c0cfa54a75291d83601161799e4a89a39e0929f4b0354d88757a37" dependencies = [ - "getrandom 0.4.2", + "getrandom", "js-sys", "wasm-bindgen", ] @@ -1042,15 +1029,15 @@ checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a" [[package]] name = "verus_builtin" -version = "0.0.0-2026-03-01-0109" +version = "0.0.0-2026-03-22-0106" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1ee0548b407f2cbfb0228b65cd91e09be63cfd4e883b5a997b3a4e2158febe8f" +checksum = "c58c30c86f93b011fa7f0b42e5b303e50e89cd425e401773120b7cc0e9a96e55" [[package]] name = "verus_builtin_macros" -version = "0.0.0-2026-03-08-0103" +version = "0.0.0-2026-03-17-2326" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5521119b3fd13d0b1748a0fef287a9aeeb247dd702cd7b15f96e5b9eb95f002b" +checksum = "46f1f1ee124e0bcb5cec79836ff015d138ea53bff51839a85b8364cdc8b79232" dependencies = [ "proc-macro2", "quote", @@ -1062,9 +1049,9 @@ dependencies = [ [[package]] name = "verus_prettyplease" -version = "0.0.0-2026-02-24-1505" +version = "0.0.0-2026-03-15-0111" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e2930f00a7327e9837d0266a8261b35b3cf59761f50541ff471ca5e5229b7563" +checksum = "eadebc1e3b522b32c178fd2fb882e691880ff983415497232c74aa9b72bc0b65" dependencies = [ "proc-macro2", "verus_syn", @@ -1072,9 +1059,9 @@ dependencies = [ [[package]] name = "verus_state_machines_macros" -version = "0.0.0-2026-03-01-0109" +version = "0.0.0-2026-03-15-0111" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "86996dd79d212559f03818a8973d7b9a71d26d404287e9fd2f597001f8c6cef5" +checksum = "b824c6405f8e8a063ca4a26fca1f454cb02de0c1c4da685e3e7f1974899129d5" dependencies = [ "indexmap 1.9.3", "proc-macro2", @@ -1084,9 +1071,9 @@ dependencies = [ [[package]] name = "verus_syn" -version = "0.0.0-2026-02-24-1505" +version = "0.0.0-2026-03-15-0111" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "baea36d7ed6cf44ce889b54740f7ae7a10622788f018b04c1addbe88109f59bb" +checksum = "1694faf01f89e1abc996da7b8d24a4e0d1ebd70147dc659e7a5dd680af696772" dependencies = [ "proc-macro2", "quote", @@ -1095,21 +1082,15 @@ dependencies = [ [[package]] name = "vstd" -version = "0.0.0-2026-03-08-0103" +version = "0.0.0-2026-03-22-0106" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e19bb62988a03cc130a39566b58ece7677ecb26e70a05ca95bf06f7169ca6af5" +checksum = "ebf1e69cd4f6439a56b415ecdbfc3db69ad76560bd139683aeb29ed51452542f" dependencies = [ "verus_builtin", "verus_builtin_macros", "verus_state_machines_macros", ] -[[package]] -name = "wasi" -version = "0.11.1+wasi-snapshot-preview1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ccf3ec651a847eb01de73ccad15eb7d99f80485de043efb2f370cd654f4ea44b" - [[package]] name = "wasip2" version = "1.0.2+wasi-0.2.9" @@ -1354,26 +1335,6 @@ dependencies = [ "wasmparser", ] -[[package]] -name = "zerocopy" -version = "0.8.40" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a789c6e490b576db9f7e6b6d661bcc9799f7c0ac8352f56ea20193b2681532e5" -dependencies = [ - "zerocopy-derive", -] - -[[package]] -name = "zerocopy-derive" -version = "0.8.40" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f65c489a7071a749c849713807783f70672b28094011623e200cb86dcb835953" -dependencies = [ - "proc-macro2", - "quote", - "syn", -] - [[package]] name = "zmij" version = "1.0.21" diff --git a/Cargo.toml b/Cargo.toml index d0d24d34e..9b307a9bf 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -41,7 +41,7 @@ anyhow = "1.0" # Verification dependencies builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120" } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120" } -vstd = { version = "0.0.0-2026-03-08-0103" } +vstd = { version = "0.0.0-2026-03-22-0106" } # Cryptography aes = { version = "0.8", default-features = false } diff --git a/userspace/accessibility/bci_interface/Cargo.toml b/userspace/accessibility/bci_interface/Cargo.toml index 76ff9010c..577834075 100644 --- a/userspace/accessibility/bci_interface/Cargo.toml +++ b/userspace/accessibility/bci_interface/Cargo.toml @@ -12,7 +12,7 @@ anyhow.workspace = true builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/accessibility/braille_display/Cargo.toml b/userspace/accessibility/braille_display/Cargo.toml index 08efd9768..759c02330 100644 --- a/userspace/accessibility/braille_display/Cargo.toml +++ b/userspace/accessibility/braille_display/Cargo.toml @@ -12,7 +12,7 @@ anyhow.workspace = true builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/accessibility/haptic_language/Cargo.toml b/userspace/accessibility/haptic_language/Cargo.toml index 23b245f95..2863c5fcd 100644 --- a/userspace/accessibility/haptic_language/Cargo.toml +++ b/userspace/accessibility/haptic_language/Cargo.toml @@ -12,7 +12,7 @@ anyhow.workspace = true builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/accessibility/spectrum_2_0/Cargo.toml b/userspace/accessibility/spectrum_2_0/Cargo.toml index 52b9dc90e..fe5ca90c6 100644 --- a/userspace/accessibility/spectrum_2_0/Cargo.toml +++ b/userspace/accessibility/spectrum_2_0/Cargo.toml @@ -12,7 +12,7 @@ anyhow.workspace = true builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/accessibility/voice_assistant/Cargo.toml b/userspace/accessibility/voice_assistant/Cargo.toml index 3550e495f..800b0eedd 100644 --- a/userspace/accessibility/voice_assistant/Cargo.toml +++ b/userspace/accessibility/voice_assistant/Cargo.toml @@ -12,7 +12,7 @@ anyhow.workspace = true builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/ai/automation/Cargo.toml b/userspace/ai/automation/Cargo.toml index 7f0ad02fe..149ba4ddc 100644 --- a/userspace/ai/automation/Cargo.toml +++ b/userspace/ai/automation/Cargo.toml @@ -12,7 +12,7 @@ anyhow.workspace = true builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/ai/cortex_ai/Cargo.toml b/userspace/ai/cortex_ai/Cargo.toml index 2e90ff3f1..d799d7967 100644 --- a/userspace/ai/cortex_ai/Cargo.toml +++ b/userspace/ai/cortex_ai/Cargo.toml @@ -14,7 +14,7 @@ uuid = { version = "1.0", features = ["v4"] } builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/ai/semantic_search/Cargo.toml b/userspace/ai/semantic_search/Cargo.toml index 477841604..a7a29d1f6 100644 --- a/userspace/ai/semantic_search/Cargo.toml +++ b/userspace/ai/semantic_search/Cargo.toml @@ -12,7 +12,7 @@ anyhow.workspace = true builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/compatibility/android_subsystem/Cargo.toml b/userspace/compatibility/android_subsystem/Cargo.toml index 1c5cfd162..93534210b 100644 --- a/userspace/compatibility/android_subsystem/Cargo.toml +++ b/userspace/compatibility/android_subsystem/Cargo.toml @@ -12,7 +12,7 @@ anyhow.workspace = true builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/compatibility/legacy_airlock/Cargo.toml b/userspace/compatibility/legacy_airlock/Cargo.toml index 362582e11..e6a31f375 100644 --- a/userspace/compatibility/legacy_airlock/Cargo.toml +++ b/userspace/compatibility/legacy_airlock/Cargo.toml @@ -12,7 +12,7 @@ anyhow.workspace = true builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/compatibility/vnt_apps/Cargo.toml b/userspace/compatibility/vnt_apps/Cargo.toml index 51fe356f2..2a7673ce3 100644 --- a/userspace/compatibility/vnt_apps/Cargo.toml +++ b/userspace/compatibility/vnt_apps/Cargo.toml @@ -12,7 +12,7 @@ anyhow.workspace = true builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/drivers/direct_metal/Cargo.toml b/userspace/drivers/direct_metal/Cargo.toml index 4b54dcd35..932f5e72e 100644 --- a/userspace/drivers/direct_metal/Cargo.toml +++ b/userspace/drivers/direct_metal/Cargo.toml @@ -25,7 +25,7 @@ version = "0.0.0-2026-02-08-0120" optional = true [dependencies.vstd] -version = "0.0.0-2026-03-08-0103" +version = "0.0.0-2026-03-22-0106" optional = true [features] diff --git a/userspace/drivers/iommu/Cargo.toml b/userspace/drivers/iommu/Cargo.toml index 926f9a6b5..62f0421e2 100644 --- a/userspace/drivers/iommu/Cargo.toml +++ b/userspace/drivers/iommu/Cargo.toml @@ -11,7 +11,7 @@ thiserror.workspace = true anyhow.workspace = true builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/drivers/network/Cargo.toml b/userspace/drivers/network/Cargo.toml index 522118231..3153c90f3 100644 --- a/userspace/drivers/network/Cargo.toml +++ b/userspace/drivers/network/Cargo.toml @@ -12,7 +12,7 @@ anyhow.workspace = true builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/multimedia/audio_mixer/Cargo.toml b/userspace/multimedia/audio_mixer/Cargo.toml index 8160c82ba..7205da80e 100644 --- a/userspace/multimedia/audio_mixer/Cargo.toml +++ b/userspace/multimedia/audio_mixer/Cargo.toml @@ -12,7 +12,7 @@ anyhow.workspace = true builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/multimedia/babel_protocol/Cargo.toml b/userspace/multimedia/babel_protocol/Cargo.toml index cfe0cd3c9..a9368da40 100644 --- a/userspace/multimedia/babel_protocol/Cargo.toml +++ b/userspace/multimedia/babel_protocol/Cargo.toml @@ -12,7 +12,7 @@ anyhow.workspace = true builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/multimedia/flux_engine/Cargo.toml b/userspace/multimedia/flux_engine/Cargo.toml index fc9796dc2..5ead70b04 100644 --- a/userspace/multimedia/flux_engine/Cargo.toml +++ b/userspace/multimedia/flux_engine/Cargo.toml @@ -25,7 +25,7 @@ version = "0.0.0-2026-02-08-0120" optional = true [dependencies.vstd] -version = "0.0.0-2026-03-08-0103" +version = "0.0.0-2026-03-22-0106" optional = true [features] diff --git a/userspace/profiles/interfaces/Cargo.toml b/userspace/profiles/interfaces/Cargo.toml index 4947b11f5..4e603c3a3 100644 --- a/userspace/profiles/interfaces/Cargo.toml +++ b/userspace/profiles/interfaces/Cargo.toml @@ -12,7 +12,7 @@ anyhow.workspace = true builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/profiles/permission_cards/Cargo.toml b/userspace/profiles/permission_cards/Cargo.toml index d9144f1f3..5c9967285 100644 --- a/userspace/profiles/permission_cards/Cargo.toml +++ b/userspace/profiles/permission_cards/Cargo.toml @@ -12,7 +12,7 @@ anyhow.workspace = true builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/profiles/profiles/Cargo.toml b/userspace/profiles/profiles/Cargo.toml index b3cddbed2..08c15784a 100644 --- a/userspace/profiles/profiles/Cargo.toml +++ b/userspace/profiles/profiles/Cargo.toml @@ -12,7 +12,7 @@ anyhow.workspace = true builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/security/compliance/Cargo.toml b/userspace/security/compliance/Cargo.toml index 0e552e082..9a6e78da4 100644 --- a/userspace/security/compliance/Cargo.toml +++ b/userspace/security/compliance/Cargo.toml @@ -12,7 +12,7 @@ anyhow.workspace = true builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/security/sentinel/Cargo.toml b/userspace/security/sentinel/Cargo.toml index a4c8af081..7830690e9 100644 --- a/userspace/security/sentinel/Cargo.toml +++ b/userspace/security/sentinel/Cargo.toml @@ -12,7 +12,7 @@ anyhow.workspace = true builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/security/vault/Cargo.toml b/userspace/security/vault/Cargo.toml index ba941bd43..c4186553e 100644 --- a/userspace/security/vault/Cargo.toml +++ b/userspace/security/vault/Cargo.toml @@ -19,7 +19,7 @@ rand_core.workspace = true builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/ui/flux/Cargo.toml b/userspace/ui/flux/Cargo.toml index f4e2b143a..8bda07046 100644 --- a/userspace/ui/flux/Cargo.toml +++ b/userspace/ui/flux/Cargo.toml @@ -25,7 +25,7 @@ version = "0.0.0-2026-02-08-0120" optional = true [dependencies.vstd] -version = "0.0.0-2026-03-08-0103" +version = "0.0.0-2026-03-22-0106" optional = true [features] diff --git a/userspace/ui/shells/Cargo.toml b/userspace/ui/shells/Cargo.toml index 3af7c3d3a..069710b1b 100644 --- a/userspace/ui/shells/Cargo.toml +++ b/userspace/ui/shells/Cargo.toml @@ -12,7 +12,7 @@ anyhow.workspace = true builtin = { package = "verus_builtin", version = "0.0.0-2026-02-08-0120", optional = true } builtin_macros = { package = "verus_builtin_macros", version = "0.0.0-2026-02-08-0120", optional = true } -vstd = { version = "0.0.0-2026-03-08-0103", optional = true } +vstd = { version = "0.0.0-2026-03-22-0106", optional = true } [features] default = ["hw-accel"]