From 51b1b6ac2ffbf258fe2f59468b8919200aa76df0 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 13 Apr 2026 04:43: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-04-12-0118. - [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-04-12-0118 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..93c9f5ef9 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.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e6c10a63a0fa32252be49d21e7709d4d4baf8d231c2dbce1eaa8141b9b127d88" +checksum = "d2e8e8bcc7961af1fdac401278c6a831614941f6164ee3bf4ce61b7edb162207" 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-04-12-0118" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1ee0548b407f2cbfb0228b65cd91e09be63cfd4e883b5a997b3a4e2158febe8f" +checksum = "a46cb431066009ad2035f6bca936b1c2b7e293bffec93a2090fead0f35ab4276" [[package]] name = "verus_builtin_macros" -version = "0.0.0-2026-03-08-0103" +version = "0.0.0-2026-04-12-0118" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5521119b3fd13d0b1748a0fef287a9aeeb247dd702cd7b15f96e5b9eb95f002b" +checksum = "5a4db9c476e75215dc079b3b9a740099ae26e318b410a0063b3c97c624bba991" 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-04-12-0118" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e2930f00a7327e9837d0266a8261b35b3cf59761f50541ff471ca5e5229b7563" +checksum = "4b246e61b068e807cb05a030fc1d7efa83d2a0d227eaf67921661419edfe8e83" 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-04-05-0114" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "86996dd79d212559f03818a8973d7b9a71d26d404287e9fd2f597001f8c6cef5" +checksum = "e799e4fb96bff36ea1356624d8b633887a46b3558f34cc20e8e228d0d7bcac2b" 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-04-05-0114" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "baea36d7ed6cf44ce889b54740f7ae7a10622788f018b04c1addbe88109f59bb" +checksum = "285b554a87b470ee705634ea1cdc92c14ba088a7b8bdacbb9116b32e832fe272" 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-04-12-0118" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e19bb62988a03cc130a39566b58ece7677ecb26e70a05ca95bf06f7169ca6af5" +checksum = "4fd22791c5bc9db0227a3be72721e969ac0165028ffa40c9479558b7a73006c5" 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..c0a7a1913 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-04-12-0118" } # 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..c2a551cb9 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-04-12-0118", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/accessibility/braille_display/Cargo.toml b/userspace/accessibility/braille_display/Cargo.toml index 08efd9768..a73f7c87e 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-04-12-0118", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/accessibility/haptic_language/Cargo.toml b/userspace/accessibility/haptic_language/Cargo.toml index 23b245f95..5ec27fce1 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-04-12-0118", 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..e0b4b4553 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-04-12-0118", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/accessibility/voice_assistant/Cargo.toml b/userspace/accessibility/voice_assistant/Cargo.toml index 3550e495f..1638c728b 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-04-12-0118", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/ai/automation/Cargo.toml b/userspace/ai/automation/Cargo.toml index 7f0ad02fe..e20b14b3e 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-04-12-0118", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/ai/cortex_ai/Cargo.toml b/userspace/ai/cortex_ai/Cargo.toml index 2e90ff3f1..14b389ff7 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-04-12-0118", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/ai/semantic_search/Cargo.toml b/userspace/ai/semantic_search/Cargo.toml index 477841604..f58c11cb0 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-04-12-0118", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/compatibility/android_subsystem/Cargo.toml b/userspace/compatibility/android_subsystem/Cargo.toml index 1c5cfd162..6377704cb 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-04-12-0118", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/compatibility/legacy_airlock/Cargo.toml b/userspace/compatibility/legacy_airlock/Cargo.toml index 362582e11..9099a37e3 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-04-12-0118", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/compatibility/vnt_apps/Cargo.toml b/userspace/compatibility/vnt_apps/Cargo.toml index 51fe356f2..b1bc64881 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-04-12-0118", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/drivers/direct_metal/Cargo.toml b/userspace/drivers/direct_metal/Cargo.toml index 4b54dcd35..a43fbf294 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-04-12-0118" optional = true [features] diff --git a/userspace/drivers/iommu/Cargo.toml b/userspace/drivers/iommu/Cargo.toml index 926f9a6b5..ca5693366 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-04-12-0118", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/drivers/network/Cargo.toml b/userspace/drivers/network/Cargo.toml index 522118231..f55204762 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-04-12-0118", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/multimedia/audio_mixer/Cargo.toml b/userspace/multimedia/audio_mixer/Cargo.toml index 8160c82ba..d32ce6b2e 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-04-12-0118", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/multimedia/babel_protocol/Cargo.toml b/userspace/multimedia/babel_protocol/Cargo.toml index cfe0cd3c9..23a99752e 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-04-12-0118", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/multimedia/flux_engine/Cargo.toml b/userspace/multimedia/flux_engine/Cargo.toml index fc9796dc2..213683128 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-04-12-0118" optional = true [features] diff --git a/userspace/profiles/interfaces/Cargo.toml b/userspace/profiles/interfaces/Cargo.toml index 4947b11f5..dfba15f93 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-04-12-0118", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/profiles/permission_cards/Cargo.toml b/userspace/profiles/permission_cards/Cargo.toml index d9144f1f3..d2f7005e0 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-04-12-0118", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/profiles/profiles/Cargo.toml b/userspace/profiles/profiles/Cargo.toml index b3cddbed2..95f94ff81 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-04-12-0118", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/security/compliance/Cargo.toml b/userspace/security/compliance/Cargo.toml index 0e552e082..26d173566 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-04-12-0118", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/security/sentinel/Cargo.toml b/userspace/security/sentinel/Cargo.toml index a4c8af081..1de268e72 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-04-12-0118", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/security/vault/Cargo.toml b/userspace/security/vault/Cargo.toml index ba941bd43..de0f37710 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-04-12-0118", optional = true } [features] default = ["hw-accel"] diff --git a/userspace/ui/flux/Cargo.toml b/userspace/ui/flux/Cargo.toml index f4e2b143a..49b531c01 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-04-12-0118" optional = true [features] diff --git a/userspace/ui/shells/Cargo.toml b/userspace/ui/shells/Cargo.toml index 3af7c3d3a..127933fd2 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-04-12-0118", optional = true } [features] default = ["hw-accel"]