Commit Graph

17 Commits

Author SHA1 Message Date
Tshepang Mbambo 061577567f use relative links
Used the following command, followed by some manual tweaking:

  sd 'https://rustc-dev-guide.rust-lang.org/(.+).html' '$1.md' (fd)
2022-07-17 02:32:44 +02:00
5225225 1fedc2ea70 Rename debugging_opts to unstable_opts, use link 2022-07-16 12:56:25 +02:00
Noah Lev 7c8d7c57a4 Fix some broken links 2021-12-09 09:11:48 -06:00
Janggun Lee d03c7b8626 Fix `rustc_mir` related links (#1228)
Co-authored-by: Yuki Okushi <jtitor@2k36.org>
Co-authored-by: nhamovitz <18648574+nhamovitz@users.noreply.github.com>
2021-10-29 00:58:26 +09:00
Camelid 892e9091cb Add quickstart for adding a new optimization (#1094) 2021-04-01 19:24:44 +02:00
cjkenn 49069a0233 add small explanation of why fuel can be useful for debugging 2020-11-22 08:43:00 -05:00
cjkenn ed89d6f643 add mir-opt section for optimization fuel 2020-11-22 08:43:00 -05:00
Dániel Buga 727a536ba9 Link to the -Zmir-opt-level proposal
I was confused about what the different levels mean. This PR adds a paragraph that shortly explains the rationale behind different mir-opt-levels and links to the current proposal where there's some information about them.

Let me know if I wrote something unreasonable or incorrect.

Co-authored-by: Joshua Nelson <joshua@yottadb.com>
2020-09-23 18:42:23 -04:00
Paul Daniel Faria ef8048d986 Add ids to all glossary items, make existing glossary links point to glossary, add links for def id in query.md 2020-04-05 12:46:22 -05:00
Youngsuk Kim b51dfaa0d1 Clarify sentence meaning 2020-03-15 21:27:40 -05:00
Santiago Pastorino c05ed676d2 Rename rustc-guide to rustc-dev-guide (#601)
* Rename rustc-guide to rustc-dev-guide

* rust-lang.github.io/rustc-dev-guide -> rustc-dev-guide.rust-lang.org
2020-03-10 11:01:43 -03:00
Santiago Pastorino 09f6d83008 Minor mir chapter fixes 2019-11-20 08:00:49 -06:00
Who? Me?! 8f729bb3ec typo
Co-Authored-By: Yuki Okushi <huyuumi.dev@gmail.com>
2019-11-14 13:08:20 -06:00
Who? Me?! a35f67c21c typo
Co-Authored-By: Yuki Okushi <huyuumi.dev@gmail.com>
2019-11-14 13:08:20 -06:00
Mark Mansi d1614a5c8c add oli note 2019-11-14 13:08:20 -06:00
Mark Mansi 3f6781eb0c add something for mir opt 2019-11-14 13:08:20 -06:00
Mark Mansi 6017a9cf91 move mir 2018-06-02 17:20:47 -04:00