├── .github └── workflows │ ├── demo.yml │ ├── deploy_mdbook.yml │ ├── format.yml │ └── nightly.yml ├── .gitignore ├── CHARTER.md ├── CODE_OF_CONDUCT.md ├── Cargo.lock ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── book ├── book.toml └── src │ ├── SUMMARY.md │ ├── contributing.md │ ├── getting-started.md │ ├── initial.md │ ├── migrating.md │ ├── tricks.md │ └── welcome.md ├── demo ├── Cargo.toml ├── build.rs ├── example │ └── methods.rs ├── run_demo.sh ├── rust-toolchain.toml └── src │ └── main.rs ├── devtool ├── Cargo.toml └── src │ ├── main.rs │ └── utils.rs ├── rust-toolchain.toml ├── rustc_public ├── Cargo.toml ├── README.md ├── build.rs ├── src │ ├── abi.rs │ ├── alloc.rs │ ├── compiler_interface.rs │ ├── crate_def.rs │ ├── error.rs │ ├── lib.rs │ ├── mir.rs │ ├── mir │ │ ├── alloc.rs │ │ ├── body.rs │ │ ├── mono.rs │ │ ├── pretty.rs │ │ └── visit.rs │ ├── rustc_internal │ │ ├── mod.rs │ │ └── pretty.rs │ ├── target.rs │ ├── ty.rs │ ├── unstable │ │ ├── convert │ │ │ ├── internal.rs │ │ │ ├── mod.rs │ │ │ └── stable │ │ │ │ ├── abi.rs │ │ │ │ ├── mir.rs │ │ │ │ ├── mod.rs │ │ │ │ └── ty.rs │ │ ├── internal_cx │ │ │ ├── helpers.rs │ │ │ └── mod.rs │ │ └── mod.rs │ └── visitor.rs └── tests │ ├── compiletest.rs │ ├── fixme │ ├── ice_too_generic.rs │ └── ice_too_generic.stderr │ ├── print │ ├── async-closure.rs │ ├── async-closure.stdout │ ├── basic_function.rs │ ├── basic_function.stdout │ ├── operands.rs │ └── operands.stdout │ └── sanity-checks │ ├── associated-items │ └── methods.rs │ └── simple │ └── simple_lib.rs ├── rustfmt.toml ├── scripts └── pre-push.sh ├── test-drive ├── Cargo.toml ├── build.rs └── src │ ├── main.rs │ └── sanity_checks.rs ├── triagebot.toml └── x /.github/workflows/demo.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/.github/workflows/demo.yml -------------------------------------------------------------------------------- /.github/workflows/deploy_mdbook.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/.github/workflows/deploy_mdbook.yml -------------------------------------------------------------------------------- /.github/workflows/format.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/.github/workflows/format.yml -------------------------------------------------------------------------------- /.github/workflows/nightly.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/.github/workflows/nightly.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/.gitignore -------------------------------------------------------------------------------- /CHARTER.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/CHARTER.md -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/README.md -------------------------------------------------------------------------------- /book/book.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/book/book.toml -------------------------------------------------------------------------------- /book/src/SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/book/src/SUMMARY.md -------------------------------------------------------------------------------- /book/src/contributing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/book/src/contributing.md -------------------------------------------------------------------------------- /book/src/getting-started.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/book/src/getting-started.md -------------------------------------------------------------------------------- /book/src/initial.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/book/src/initial.md -------------------------------------------------------------------------------- /book/src/migrating.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/book/src/migrating.md -------------------------------------------------------------------------------- /book/src/tricks.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/book/src/tricks.md -------------------------------------------------------------------------------- /book/src/welcome.md: -------------------------------------------------------------------------------- 1 | ../../README.md -------------------------------------------------------------------------------- /demo/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/demo/Cargo.toml -------------------------------------------------------------------------------- /demo/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/demo/build.rs -------------------------------------------------------------------------------- /demo/example/methods.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/demo/example/methods.rs -------------------------------------------------------------------------------- /demo/run_demo.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/demo/run_demo.sh -------------------------------------------------------------------------------- /demo/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/demo/rust-toolchain.toml -------------------------------------------------------------------------------- /demo/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/demo/src/main.rs -------------------------------------------------------------------------------- /devtool/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/devtool/Cargo.toml -------------------------------------------------------------------------------- /devtool/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/devtool/src/main.rs -------------------------------------------------------------------------------- /devtool/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/devtool/src/utils.rs -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rust-toolchain.toml -------------------------------------------------------------------------------- /rustc_public/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/Cargo.toml -------------------------------------------------------------------------------- /rustc_public/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/README.md -------------------------------------------------------------------------------- /rustc_public/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/build.rs -------------------------------------------------------------------------------- /rustc_public/src/abi.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/abi.rs -------------------------------------------------------------------------------- /rustc_public/src/alloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/alloc.rs -------------------------------------------------------------------------------- /rustc_public/src/compiler_interface.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/compiler_interface.rs -------------------------------------------------------------------------------- /rustc_public/src/crate_def.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/crate_def.rs -------------------------------------------------------------------------------- /rustc_public/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/error.rs -------------------------------------------------------------------------------- /rustc_public/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/lib.rs -------------------------------------------------------------------------------- /rustc_public/src/mir.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/mir.rs -------------------------------------------------------------------------------- /rustc_public/src/mir/alloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/mir/alloc.rs -------------------------------------------------------------------------------- /rustc_public/src/mir/body.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/mir/body.rs -------------------------------------------------------------------------------- /rustc_public/src/mir/mono.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/mir/mono.rs -------------------------------------------------------------------------------- /rustc_public/src/mir/pretty.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/mir/pretty.rs -------------------------------------------------------------------------------- /rustc_public/src/mir/visit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/mir/visit.rs -------------------------------------------------------------------------------- /rustc_public/src/rustc_internal/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/rustc_internal/mod.rs -------------------------------------------------------------------------------- /rustc_public/src/rustc_internal/pretty.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/rustc_internal/pretty.rs -------------------------------------------------------------------------------- /rustc_public/src/target.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/target.rs -------------------------------------------------------------------------------- /rustc_public/src/ty.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/ty.rs -------------------------------------------------------------------------------- /rustc_public/src/unstable/convert/internal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/unstable/convert/internal.rs -------------------------------------------------------------------------------- /rustc_public/src/unstable/convert/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/unstable/convert/mod.rs -------------------------------------------------------------------------------- /rustc_public/src/unstable/convert/stable/abi.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/unstable/convert/stable/abi.rs -------------------------------------------------------------------------------- /rustc_public/src/unstable/convert/stable/mir.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/unstable/convert/stable/mir.rs -------------------------------------------------------------------------------- /rustc_public/src/unstable/convert/stable/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/unstable/convert/stable/mod.rs -------------------------------------------------------------------------------- /rustc_public/src/unstable/convert/stable/ty.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/unstable/convert/stable/ty.rs -------------------------------------------------------------------------------- /rustc_public/src/unstable/internal_cx/helpers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/unstable/internal_cx/helpers.rs -------------------------------------------------------------------------------- /rustc_public/src/unstable/internal_cx/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/unstable/internal_cx/mod.rs -------------------------------------------------------------------------------- /rustc_public/src/unstable/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/unstable/mod.rs -------------------------------------------------------------------------------- /rustc_public/src/visitor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/src/visitor.rs -------------------------------------------------------------------------------- /rustc_public/tests/compiletest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/tests/compiletest.rs -------------------------------------------------------------------------------- /rustc_public/tests/fixme/ice_too_generic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/tests/fixme/ice_too_generic.rs -------------------------------------------------------------------------------- /rustc_public/tests/fixme/ice_too_generic.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/tests/fixme/ice_too_generic.stderr -------------------------------------------------------------------------------- /rustc_public/tests/print/async-closure.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/tests/print/async-closure.rs -------------------------------------------------------------------------------- /rustc_public/tests/print/async-closure.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/tests/print/async-closure.stdout -------------------------------------------------------------------------------- /rustc_public/tests/print/basic_function.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/tests/print/basic_function.rs -------------------------------------------------------------------------------- /rustc_public/tests/print/basic_function.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/tests/print/basic_function.stdout -------------------------------------------------------------------------------- /rustc_public/tests/print/operands.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/tests/print/operands.rs -------------------------------------------------------------------------------- /rustc_public/tests/print/operands.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/tests/print/operands.stdout -------------------------------------------------------------------------------- /rustc_public/tests/sanity-checks/associated-items/methods.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/tests/sanity-checks/associated-items/methods.rs -------------------------------------------------------------------------------- /rustc_public/tests/sanity-checks/simple/simple_lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustc_public/tests/sanity-checks/simple/simple_lib.rs -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/rustfmt.toml -------------------------------------------------------------------------------- /scripts/pre-push.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/scripts/pre-push.sh -------------------------------------------------------------------------------- /test-drive/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/test-drive/Cargo.toml -------------------------------------------------------------------------------- /test-drive/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/test-drive/build.rs -------------------------------------------------------------------------------- /test-drive/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/test-drive/src/main.rs -------------------------------------------------------------------------------- /test-drive/src/sanity_checks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/test-drive/src/sanity_checks.rs -------------------------------------------------------------------------------- /triagebot.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/triagebot.toml -------------------------------------------------------------------------------- /x: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/project-stable-mir/HEAD/x --------------------------------------------------------------------------------