Skip to content

Update to use latest Verus, which uses Rust 1.95.0 #47

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
jaylorch merged 5 commits into from
Apr 20, 2026
Merged

Update to use latest Verus, which uses Rust 1.95.0 #47

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
d858867
Update to use latest Verus, which uses Rust 1.95.0
jaylorch Apr 20, 2026
988ebe9
Address dependabot concern about rand default features
jaylorch Apr 20, 2026
a9f2e33
Remove extra CRs in rust-toolchain.toml files
jaylorch Apr 20, 2026
9d62460
Use consistent versions
jaylorch Apr 20, 2026
b6dc5cd
Fix informational message flagged by Copilot
jaylorch Apr 20, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 3 additions & 2 deletions capybaraKV/capybarakv/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,9 @@ default = [ "pmem" ]

[dependencies]
crc64fast = "1.0.0"
rand = "0.8.5"
vstd = "0.0.0-2026-04-12-0118"
# Avoid default features since @lopopolo reports that rand is unsound with both the log and thread_rng features
rand = { version = "0.10.1", default-features = false, features = [ "thread_rng" ] }
vstd = "0.0.0-2026-04-20-1748"
pmcopy = { path = "../pmcopy" }

[target.'cfg(target_family = "unix")'.dependencies]
Expand Down
2 changes: 1 addition & 1 deletion capybaraKV/capybarakv/rust-toolchain.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,5 +5,5 @@
# be used with a nightly toolchain.

[toolchain]
channel = "nightly-2026-01-01"
channel = "nightly-2026-04-19"

4 changes: 2 additions & 2 deletions capybaraKV/capybarakv/src/testkv_v.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@ use crate::pmem::pmemutil_v::*;
use crate::pmem::traits_t::*;
use crate::pmem::power_t::*;
use pmcopy::PmCopy;
use rand::Rng;
use rand::RngExt;
use std::hash::Hash;
use std::collections::VecDeque;
use vstd::pcm::*;
Expand All @@ -44,7 +44,7 @@ verus! {
#[verifier::external_body]
pub exec fn generate_fresh_id() -> (out: u128)
{
rand::thread_rng().gen::<u128>()
rand::rng().random::<u128>()
}

// These definitions test PmCopy-generated static assertions for various different types
Expand Down
2 changes: 1 addition & 1 deletion capybaraKV/pmcopy/rust-toolchain.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
[toolchain]
channel = "1.94.0"
channel = "1.95.0"
5 changes: 3 additions & 2 deletions multilog/multilog/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,9 @@ default = [ "pmem" ]

[dependencies]
crc64fast = "1.0.0"
rand = "0.8.5"
vstd = "0.0.0-2026-04-12-0118"
# Avoid default features since @lopopolo reports that rand is unsound with both the log and thread_rng features
rand = { version = "0.10.1", default-features = false, features = [ "thread_rng" ] }
vstd = "0.0.0-2026-04-20-1748"
pmsafe = { path = "../pmsafe" }
[target.'cfg(target_os = "windows")'.dependencies]
winapi = { version = "0.3.9", features = ["errhandlingapi", "fileapi", "handleapi", "memoryapi", "winbase", "winerror", "winnt"] }
Expand Down
2 changes: 1 addition & 1 deletion multilog/multilog/rust-toolchain.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,4 +5,4 @@
# be used with a nightly toolchain.

[toolchain]
channel = "nightly-2026-01-01"
channel = "nightly-2026-04-19"
1,118 changes: 559 additions & 559 deletions multilog/multilog/src/multilog/multilogimpl_t.rs
View file
Open in desktop

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion multilog/pmsafe/rust-toolchain.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
[toolchain]
channel = "1.94.0"
channel = "1.95.0"
2 changes: 1 addition & 1 deletion pmemlog/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ edition = "2021"
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

[dependencies]
vstd = "0.0.0-2026-04-12-0118"
vstd = "0.0.0-2026-04-20-1748"
crc64fast = "1.0.0"

[lints.rust]
Expand Down
2 changes: 1 addition & 1 deletion pmemlog/rust-toolchain.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
[toolchain]
channel = "1.94.0"
channel = "1.95.0"
Loading
Loading