search

verus-lang / verus

Verified Rust for low-level systems code
MIT License
1.06k stars 58 forks source link

Rustc 1.79.0 #1173

Open utaal opened 2 weeks ago