-
Notifications
You must be signed in to change notification settings - Fork 88
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.
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
Update rust toolchain version for Kani 0.11 #1615
Labels
Z-Sync Upstream
Fetch changes from rustc repository. Old Rebase
Milestone
Comments
celinval
added
the
Z-Sync Upstream
Fetch changes from rustc repository. Old Rebase
label
Sep 1, 2022
celinval
added a commit
to celinval/kani-dev
that referenced
this issue
Sep 30, 2022
Fixes model-checking#1615 Relevant changes to rustc: - rust-lang/rust#101483: Change to intrinsics. - rust-lang/rust#94075: Change to niche opt. - rust-lang/rust#101101: Method rename.
celinval
added a commit
to celinval/kani-dev
that referenced
this issue
Sep 30, 2022
Fixes model-checking#1615 Relevant changes to rustc: - rust-lang/rust#101483: Change to intrinsics. - rust-lang/rust#94075: Change to niche opt. - rust-lang/rust#101101: Method rename. Co-authored-by: Adrian Palacios <[email protected]>
4 tasks
celinval
added a commit
that referenced
this issue
Oct 3, 2022
Fixes #1615 Relevant changes to rustc: - rust-lang/rust#101483: Change to intrinsics. - rust-lang/rust#94075: Change to niche opt. - rust-lang/rust#101101: Method rename. Co-authored-by: Adrian Palacios <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
We should update the rust toolchain version once every release. For 0.11, we will try to update to version nightly-2022-09-13.
The text was updated successfully, but these errors were encountered: