Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
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
12 changes: 6 additions & 6 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
-->
![project group status: active](https://img.shields.io/badge/status-active-brightgreen.svg)
[![project group documentation](https://img.shields.io/badge/MDBook-View%20Documentation-blue)][gh-pages]
[![Run compiler tests](https://github.com/rust-lang/project-stable-mir/actions/workflows/nightly.yml/badge.svg)](https://github.com/rust-lang/project-stable-mir/actions/workflows/nightly.yml)
[![Run compiler tests](https://github.com/rust-lang/rustc_public/actions/workflows/nightly.yml/badge.svg)](https://github.com/rust-lang/rustc_public/actions/workflows/nightly.yml)


<!--
Expand All @@ -27,9 +27,9 @@ This is the repository we use to organise and document our work.

If you are wondering how to use rustc_public in your project, please check out the [Getting Started][tutorial] chapter.

[gh-pages]: https://rust-lang.github.io/project-stable-mir
[gh-pages]: https://rust-lang.github.io/rustc_public

[tutorial]: https://rust-lang.github.io/project-stable-mir/getting-started.html
[tutorial]: https://rust-lang.github.io/rustc_public/getting-started.html

## How Can I Get Involved?

Expand All @@ -43,8 +43,8 @@ We also participate on [Zulip][chat-link], feel free to introduce
yourself over there and ask us any questions you have.


[open issues]: https://github.com/rust-lang/project-stable-mir/issues
[open issues]: https://github.com/rust-lang/rustc_public/issues

[chat-link]: https://rust-lang.zulipchat.com/#narrow/stream/320896-project-stable-mir
[chat-link]: https://rust-lang.zulipchat.com/#narrow/stream/320896-project-rustc-public

[team-toml]: https://github.com/rust-lang/team/blob/master/teams/project-stable-mir.toml
[team-toml]: https://github.com/rust-lang/team/blob/main/teams/project-rustc-public.toml
6 changes: 3 additions & 3 deletions book/src/contributing.md
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@ cargo run -p compiletest -- --help
## Test Suites

We have a few different test suites for Stable MIR:
- **Rust compiler [`ui-fulldeps/rustc_public`](https://github.com/rust-lang/rust/tree/master/tests/ui-fulldeps/rustc_public):**
- **Rust compiler [`ui-fulldeps/rustc_public`](https://github.com/rust-lang/rust/tree/main/tests/ui-fulldeps/rustc_public):**
These are very simple sanity checks that live inside the main rust repository.
These tests should cover very basic functionality related to the translation of internal structures to stable ones.
- **Rust compiler suites:** We are enabling the execution of rust compiler test suites.
Expand All @@ -75,7 +75,7 @@ the latest nightly.
You need to explicitly do that.

If you see some errors while compiling our tools, please ensure you have the latest nightly.
You might also want to check [our nightly runs](https://github.com/rust-lang/project-stable-mir/actions/workflows/nightly.yml?query=branch%2Amain) to ensure they are not currently broken.
You might also want to check [our nightly runs](https://github.com/rust-lang/rustc_public/actions/workflows/nightly.yml?query=branch%2Amain) to ensure they are not currently broken.
If so, you can check what was the last successful nightly run, and use its nightly version.

### Custom toolchain
Expand All @@ -98,7 +98,7 @@ git checkout ${COMMIT_ID:?"Missing rustc commit id"}
rustup toolchain link local build/${TARGET}/stage2
cp build/${TARGET}/stage2-tools-bin/* build/${TARGET}/stage2/bin/
```
3. Override the current toolchain in your `project-stable-mir` repository.
3. Override the current toolchain in your `rustc_public` repository.
```shell
cd ${SMIR_FOLDER}
rustup override set local
Expand Down
4 changes: 2 additions & 2 deletions book/src/getting-started.md
Original file line number Diff line number Diff line change
Expand Up @@ -19,11 +19,11 @@ We also include a [Tips and Tricks](./tricks.md) section that is related to a fe
encounter,
that is not directly related to the `rustc_public` crate and APIs.

Our repository also includes a little [demo crate](https://github.com/rust-lang/project-stable-mir/tree/main/demo) that
Our repository also includes a little [demo crate](https://github.com/rust-lang/rustc_public/tree/main/demo) that
demonstrate how `rustc_public` crate can be used to analyze the main function of a crate.

The latest crate documentation can be found in the
[nightly documentation here](https://doc.rust-lang.org/nightly/nightly-rustc/rustc_public/index.html)

[^release]: We are planning to release the `rustc_public` crate into crates.io in the near future.
See issue [#0030](https://github.com/rust-lang/project-stable-mir/issues/30) for the current release status.
See issue [#0030](https://github.com/rust-lang/rustc_public/issues/30) for the current release status.
6 changes: 3 additions & 3 deletions book/src/initial.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# Initial Integration

For an example of how to use `rustc_public`, see the [`demo/`] directory of the project-stable-mir repo.
For an example of how to use `rustc_public`, see the [`demo/`] directory of the rustc_public repo.
For a tutorial, read on!

In order to use `rustc_public` in your crate, you will need to do the following:
Expand Down Expand Up @@ -30,7 +30,7 @@ components = ["llvm-tools", "rustc-dev", "rust-src"]
## Initializing `rustc_public`

There's currently no stable way to initialize the Rust compiler and `rustc_public`.
See [#0069](https://github.com/rust-lang/project-stable-mir/issues/69) for more details.
See [#0069](https://github.com/rust-lang/rustc_public/issues/69) for more details.

Instead, `rustc_public` includes two unstable workarounds to give you a quick start.
The `run` and `run_with_tcx` macros, both from present in the `rustc_public` crate.
Expand Down Expand Up @@ -110,4 +110,4 @@ TODO

TODO

[`demo/`](https://github.com/rust-lang/project-stable-mir/tree/main/demo)
[`demo/`](https://github.com/rust-lang/rustc_public/tree/main/demo)
2 changes: 1 addition & 1 deletion devtool/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ name = "devtool"
version = "0.0.0"
authors = ["rustc_public team"]
license = "MIT OR Apache-2.0"
repository = "https://github.com/rust-lang/project-stable-mir"
repository = "https://github.com/rust-lang/rustc_public"
edition = "2021"

[dependencies]
Expand Down
4 changes: 2 additions & 2 deletions test-drive/src/sanity_checks.rs
Original file line number Diff line number Diff line change
Expand Up @@ -98,7 +98,7 @@ pub fn test_instances() -> TestResult {
for term in visitor.terminators {
match &term.kind {
// We currently don't support Copy / Move `ty()` due to missing Place::ty().
// https://github.com/rust-lang/project-stable-mir/issues/49
// https://github.com/rust-lang/rustc_public/issues/49
mir::TerminatorKind::Call {
func: mir::Operand::Constant(constant), ..
} => {
Expand Down Expand Up @@ -147,7 +147,7 @@ fn check_body(name: &str, body: &mir::Body) -> Result<BodyVisitor, String> {
for local in body.locals() {
if !visitor.types.contains(&local.ty) {
// Format fails due to unsupported CoroutineWitness.
// See https://github.com/rust-lang/project-stable-mir/issues/50.
// See https://github.com/rust-lang/rustc_public/issues/50.
check(false, format!("Function `{name}`: Missing type `{:?}`", local.ty))?;
};
}
Expand Down
Loading