| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-10-10 | reorder files in solve | lcnr | -1001/+0 |
| 2023-09-21 | proof trees: use for `intercrate_ambiguity_causes` | lcnr | -4/+5 |
| 2023-09-18 | Auto merge of #115748 - RalfJung:post-mono, r=oli-obk | bors | -2/+4 |
| 2023-09-14 | move required_consts check to general post-mono-check function | Ralf Jung | -2/+4 |
| 2023-09-14 | differentiate root and nested goals | lcnr | -9/+16 |
| 2023-09-14 | inspect: explicitly store added goals | lcnr | -1/+1 |
| 2023-09-11 | inspect: strongly typed CandidateKind | lcnr | -1/+1 |
| 2023-09-11 | split GoalEvaluation and CanonicalGoalEvaluation | lcnr | -11/+15 |
| 2023-09-02 | Signed-off-by: cui fliter <imcusg@gmail.com> | cui fliter | -1/+1 |
| 2023-08-12 | lower `evaluate_goal` stability check to `warn` | lcnr | -33/+49 |
| 2023-08-05 | Also report when goals go from ok to error | Michael Goulet | -2/+8 |
| 2023-08-03 | rewrite stack dependent overflow handling | lcnr | -0/+2 |
| 2023-08-03 | handle overflow in the `EvalCtxt` separately | lcnr | -97/+96 |
| 2023-08-03 | add `ensure_sufficient_stack` to the new solver | lcnr | -18/+21 |
| 2023-08-03 | fix `make_ambiguous_response_no_constraints` | lcnr | -10/+11 |
| 2023-08-03 | avoid more `ty::Binder:dummy` | lcnr | -2/+2 |
| 2023-07-31 | Rollup merge of #114169 - lcnr:unsize, r=compiler-errors | Matthias Krüger | -3/+3 |
| 2023-07-28 | refactor builtin unsize handling, extend comments | lcnr | -3/+3 |
| 2023-07-27 | Consider a goal as NOT changed if its response is identity modulo regions | Michael Goulet | -1/+1 |
| 2023-07-25 | Rollup merge of #113661 - oli-obk:tait_wtf, r=lcnr | Matthias Krüger | -0/+1 |
| 2023-07-25 | Make everything builtin! | Michael Goulet | -0/+36 |
| 2023-07-21 | Double check that hidden types match the expected hidden type | Oli Scherer | -0/+1 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -21/+12 |
| 2023-07-10 | avoid building proof trees in select | lcnr | -2/+3 |
| 2023-07-06 | Don't call type_of on TAIT in defining scope in new solver | Michael Goulet | -1/+1 |
| 2023-07-05 | Auto merge of #113329 - lcnr:probe_candidate, r=BoxyUwU | bors | -20/+14 |
| 2023-07-04 | Auto merge of #113330 - matthiaskrgr:rollup-zm3owin, r=matthiaskrgr | bors | -13/+28 |
| 2023-07-04 | Rollup merge of #113324 - lcnr:const-evaluatable-goal, r=BoxyUwU | Matthias Krüger | -6/+5 |
| 2023-07-04 | Rollup merge of #113296 - BoxyUwU:proof_trees_on_error, r=lcnr | Matthias Krüger | -7/+23 |
| 2023-07-04 | add `ecx.probe_candidate` | lcnr | -20/+14 |
| 2023-07-04 | reviews | Boxy | -9/+9 |
| 2023-07-04 | implement `ConstEvaluatable` goals in new solver | lcnr | -6/+5 |
| 2023-07-04 | Replace `const_error` methods with `Const::new_error` | Boxy | -1/+1 |
| 2023-07-04 | move logic for flags into separate function | Boxy | -29/+1 |
| 2023-07-04 | change flag name | Boxy | -1/+1 |
| 2023-07-04 | reviews | Boxy | -3/+1 |
| 2023-07-03 | remove TypeWellFormedFromEnv | Michael Goulet | -3/+0 |
| 2023-07-03 | add flag for disabling global cache and printing proof trees on error | Boxy | -7/+53 |
| 2023-07-03 | Helpers for creating EvalCtxts, some comments | Michael Goulet | -56/+94 |
| 2023-07-03 | Implement selection in new trait solver | Michael Goulet | -0/+2 |
| 2023-06-26 | TypeWellFormedInEnv | Michael Goulet | -1/+1 |
| 2023-06-21 | Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnr | Nilstrieb | -7/+7 |
| 2023-06-20 | Auto merge of #112835 - lcnr:proof-tree-nits, r=BoxyUwU | bors | -34/+12 |
| 2023-06-20 | cleanup imports | lcnr | -3/+3 |
| 2023-06-20 | split probe into 2 functions for better readability | lcnr | -31/+9 |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -7/+7 |
| 2023-06-19 | Don't consider TAIT normalizable to hidden ty if it would result in impossibl... | Michael Goulet | -3/+10 |
| 2023-06-19 | create module so that RUSTC_LOG can filter to just proof trees | Boxy | -1/+2 |
| 2023-06-19 | allow caller to force proof tree generation | Boxy | -14/+25 |
| 2023-06-19 | show normalizes-to hack and response instantiation goals | Boxy | -12/+19 |
