| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -2/+2 |
| 2024-08-30 | Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`. | Nicholas Nethercote | -0/+1 |
| 2024-08-14 | Rollup merge of #128828 - lcnr:search-graph-11, r=compiler-errors | 许杰友 Jieyou Xu (Joe) | -7/+3 |
| 2024-08-12 | do not use the global solver cache for proof trees | lcnr | -7/+3 |
| 2024-08-11 | Use assert_matches around the compiler | Michael Goulet | -2/+4 |
| 2024-06-21 | Rename a bunch of things | Michael Goulet | -1/+1 |
| 2024-06-18 | Fix impl for SolverDelegate | Michael Goulet | -38/+16 |
| 2024-06-18 | Uplift the new trait solver | Michael Goulet | -580/+0 |
| 2024-06-18 | SolverDelegate | Michael Goulet | -7/+11 |
| 2024-06-15 | Rollup merge of #126404 - compiler-errors:alias-relate-terms, r=lcnr | Guillaume Gomez | -1/+14 |
| 2024-06-14 | Correctly consider depth when visiting WF goals | Michael Goulet | -1/+14 |
| 2024-06-13 | Address nits | Michael Goulet | -3/+4 |
| 2024-06-12 | Walk into alias-eq nested goals even if normalization fails | Michael Goulet | -2/+5 |
| 2024-06-05 | Basic removal of `Ty` from places (boring) | Boxy | -1/+1 |
| 2024-05-28 | Make ProofTreeBuilder actually generic over interner | Michael Goulet | -59/+53 |
| 2024-05-28 | refactor analyse visitor to instantiate states in order | lcnr | -45/+41 |
| 2024-05-24 | remove proof tree formatter, make em shallow | lcnr | -167/+72 |
| 2024-05-20 | Rework var resolution in InferCtxtLike, uplift EagerResolver | Michael Goulet | -1/+1 |
| 2024-05-18 | Make proof tree building generic | Michael Goulet | -88/+102 |
| 2024-05-18 | Uplift inspect into rustc_type_ir | Michael Goulet | -24/+25 |
| 2024-05-13 | Use a proper probe for shadowing impl | Michael Goulet | -10/+24 |
| 2024-05-13 | Remove `extern crate rustc_middle` from `rustc_trait_selection`. | Nicholas Nethercote | -0/+1 |
| 2024-05-10 | Rollup merge of #124955 - nnethercote:next_ty_var, r=lcnr | Matthias Krüger | -11/+2 |
| 2024-05-10 | Use fewer origins when creating type variables. | Nicholas Nethercote | -11/+2 |
| 2024-05-09 | analyse visitor: build proof tree in probe | lcnr | -11/+33 |
| 2024-05-07 | Rollup merge of #124827 - lcnr:generalize-incomplete, r=compiler-errors | Matthias Krüger | -1/+4 |
| 2024-05-07 | generalize hr alias: avoid unconstrainable infer vars | lcnr | -1/+4 |
| 2024-05-06 | Record impl args in the InsepctCandiate rather than rematching during select | Michael Goulet | -6/+66 |
| 2024-05-03 | Rollup merge of #124418 - compiler-errors:better-cause, r=lcnr | Michael Goulet | -16/+37 |
| 2024-05-02 | Use ObligationCtxt in favor of TraitEngine in many places | Michael Goulet | -10/+8 |
| 2024-05-02 | Higher ranked goal source, do overflow handling less badly | Michael Goulet | -4/+10 |
| 2024-05-02 | Store goal source in InspectGoal | Michael Goulet | -12/+27 |
| 2024-05-01 | review | lcnr | -13/+15 |
| 2024-04-30 | fix `NormalizesTo` proof tree issue | lcnr | -50/+118 |
| 2024-04-30 | Rollup merge of #124511 - nnethercote:rm-extern-crates, r=fee1-dead | Matthias Krüger | -0/+1 |
| 2024-04-29 | Split out instantiate_nested_goals | Michael Goulet | -36/+43 |
| 2024-04-29 | Take proof trees by value in inspect goal | Michael Goulet | -15/+12 |
| 2024-04-29 | Only register candidate if it is associated w a shallow certainty | Michael Goulet | -34/+21 |
| 2024-04-29 | Actually use probes when needed and stop relying on existing outer probes | Michael Goulet | -3/+3 |
| 2024-04-29 | Remove `extern crate rustc_macros` from numerous crates. | Nicholas Nethercote | -0/+1 |
| 2024-04-27 | Record certainty of evaluate_added_goals_and_make_canonical_response call in ... | Michael Goulet | -0/+38 |
| 2024-04-25 | use `EagerResolver` | lcnr | -1/+3 |
| 2024-04-25 | hir typeck: look into nested goals | lcnr | -156/+286 |
| 2024-04-04 | normalizes-to change from '1' to '0 to inf' steps | lcnr | -33/+4 |
| 2024-03-18 | cleanup + review | lcnr | -8/+4 |
| 2024-03-18 | `NormalizesTo` return nested goals | lcnr | -1/+13 |
| 2024-03-18 | move `normalizes_to_hack` to `AliasRelate` | lcnr | -0/+11 |
| 2024-03-05 | Convert `ProofTreeVisitor` to use `VisitorResult` | Jason Newcomb | -24/+23 |
| 2024-02-26 | always emit `AliasRelate` goals when relating aliases | lcnr | -25/+2 |
| 2024-02-17 | Rollup merge of #121193 - compiler-errors:coherence-fulfillment, r=lcnr | Matthias Krüger | -3/+5 |
