runtimeverification / runtimeverification/stable-mir-json
Upgrade compiler dependency to a recent nightly
@jberthold is already working on this.
Since Jul 21, 2025.
- Dominant language
- Rust
- Stars
- 11
- Forks
- 6
- PR merge metrics
- No merged PRs in 30d
Description
The rustc dependency of stable-mir-json is currently to nightly-2024-11-29.
We should upgrade it to be ahead of Anza's rustc fork and to not lose connection to latest rustc development.
However, we cannot upgrade to versions after early April due to a temporary refactoring tweak that moved stable_mir into rustc_smir. The import structure from this change onwards is still in place but is a temporary measure, so we should not upgrade to it (unless it remains in place for much longer).
Upgrading to the latest nightly before this change (or a reasonably close one) is a promising intermediate step.
UPDATE: https://github.com/rust-lang/rust/pull/143848 appears to have moved back what was formerly stable_mir into its place, but under the new name rustc_public.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.