| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2018-10-30 | Chalk Overview: Update old content | Tyler Mandry | -40/+59 | |
| 2018-10-30 | Fix a few more things | Tyler Mandry | -17/+42 | |
| Co-Authored-By: scalexm <alexandre@scalexm.fr> | ||||
| 2018-10-29 | Move Crates section down | Tyler Mandry | -33/+40 | |
| Nest existing content under Chalk Structure. I think it reads better this way. | ||||
| 2018-10-29 | Move Resources to bottom | Tyler Mandry | -19/+15 | |
| 2018-10-29 | Add section on chalk structure | Tyler Mandry | -0/+65 | |
| 2018-10-29 | Fix a few things | Who? Me?! | -12/+16 | |
| Co-Authored-By: scalexm <alexandre@scalexm.fr> | ||||
| 2018-10-29 | Fix code blocks | scalexm | -2/+2 | |
| 2018-10-29 | Add some examples for impls | scalexm | -21/+192 | |
| 2018-10-29 | Write well-formedness checking chapter | scalexm | -5/+263 | |
| 2018-10-26 | Document the rust-lldb directive | Tom Tromey | -0/+2 | |
| Commit ac33b2e578de58016271012452e4f1be6af9d516 added a `rust-lldb` directive to restrict the lldb part of a debuginfo test to only versions of lldb that include the Rust plugin. | ||||
| 2018-10-26 | Put "well-formedness checking" under "lowering rules" | Tyler Mandry | -1/+1 | |
| This was also intended to be a reference chapter, according to @scalexm. | ||||
| 2018-10-26 | Get excited | Tyler Mandry | -1/+1 | |
| 2018-10-26 | Add status of regions | Tyler Mandry | -1/+7 | |
| 2018-10-26 | Associated types: Break up text for readability | Tyler Mandry | -29/+30 | |
| 2018-10-26 | Associated types: Mention "lazy normalization" somewhere | Tyler Mandry | -4/+5 | |
| 2018-10-26 | Traits: Improve index layout, add chalk blurb | Tyler Mandry | -18/+33 | |
| 2018-10-26 | Reflect traits chapter structure in index key ideas | Tyler Mandry | -8/+8 | |
| 2018-10-26 | Group logic-related things under one section | Tyler Mandry | -3/+3 | |
| I found the layout to be a bit inconsistent before. This groups anything that touches logic rules under "Lowering to logic". This might be crowding too many things under that section, but it makes more sense to me overall. | ||||
| 2018-10-26 | Update TypeVariants to TyKind | Nikita Popov | -1/+1 | |
| This has been renamed in https://github.com/rust-lang/rust/pull/53581. | ||||
| 2018-10-24 | Update src/traits/caching.md | Who? Me?! | -1/+1 | |
| Co-Authored-By: csmoe <csmoe@msn.com> | ||||
| 2018-10-24 | Update src/traits/hrtb.md | Who? Me?! | -1/+1 | |
| Co-Authored-By: csmoe <csmoe@msn.com> | ||||
| 2018-10-24 | Update src/borrow_check/region_inference.md | Who? Me?! | -1/+1 | |
| Co-Authored-By: csmoe <csmoe@msn.com> | ||||
| 2018-10-24 | Update src/borrow_check/region_inference.md | Who? Me?! | -1/+1 | |
| Co-Authored-By: csmoe <csmoe@msn.com> | ||||
| 2018-10-24 | replace bound region with placeholder | csmoe | -16/+15 | |
| 2018-10-24 | clean up skolemiza in traits | csmoe | -18/+18 | |
| 2018-10-24 | clean up skolemiza in borrow_ck | csmoe | -41/+41 | |
| 2018-10-24 | clean up skolemiza in glossary | csmoe | -1/+1 | |
| 2018-10-24 | issue_100_4 Updated the rustc documentation location | Rajkumar Natarajan | -3/+15 | |
| 2018-10-23 | Add a note on bisecting | Who? Me?! | -0/+4 | |
| 2018-10-22 | Clarify wording | scalexm | -9/+11 | |
| 2018-10-22 | Fix typos and punctuation | Who? Me?! | -11/+11 | |
| Co-Authored-By: scalexm <alexandre@scalexm.fr> | ||||
| 2018-10-22 | Write implied bounds chapter | scalexm | -5/+496 | |
| 2018-10-22 | Change wording | scalexm | -3/+3 | |
| 2018-10-22 | Fix typo | Who? Me?! | -1/+1 | |
| Co-Authored-By: scalexm <alexandre@scalexm.fr> | ||||
| 2018-10-22 | Add an apostrophe | Who? Me?! | -1/+1 | |
| Co-Authored-By: scalexm <alexandre@scalexm.fr> | ||||
| 2018-10-22 | Polish lowering chapters and update rules | scalexm | -39/+116 | |
| 2018-10-19 | Fix typo | Who? Me?! | -1/+1 | |
| 2018-10-19 | fix typo in build instructions | Collins Abitekaniza | -1/+1 | |
| 2018-10-13 | Update a few parts of the readme | mark | -9/+10 | |
| 2018-09-29 | updated with review comments | Rajkumar Natarajan | -4/+12 | |
| 2018-09-29 | issue-130 updated the review comments | Rajkumar Natarajan | -78/+37 | |
| 2018-09-29 | issue-130 incorporate the review comments | Rajkumar Natarajan | -86/+100 | |
| 2018-09-29 | issue-130 copy contents related x.py from rust-forge | Rajkumar Natarajan | -2/+201 | |
| 2018-09-28 | Typo nits #181 (#205) | David Sanders | -5/+5 | |
| 2018-09-28 | conventions: Fix semicolon/colon typo | Alcaro | -1/+1 | |
| 2018-09-28 | Document no-system-llvm | Tom Tromey | -0/+1 | |
| 2018-09-21 | use the right version of mdbook linkcheck | Mark Mansi | -1/+1 | |
| 2018-09-21 | Fix all the links! | Mark Mansi | -12/+17 | |
| 2018-09-21 | don't check crates.io links | Mark Mansi | -0/+1 | |
| 2018-09-21 | fix the last link | Mark Mansi | -1/+1 | |
