formal-land / coq-of-rust

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
GNU Affero General Public License v3.0
418 stars 14 forks source link

Upgrade to rustc nightly-2024-08-26 #606

Closed clarus closed 1 month ago

clarus commented 2 months ago

In this pull request, we upgrade the version of rustc that we used to a recent one. The idea is to be more in sync with the current documentation of Rust that follows the latest version, and to generally keep following the latest changes in the Rust compiler.