about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/search_graph
AgeCommit message (Expand)AuthorLines
2023-10-10reorder files in solvelcnr-368/+0
2023-09-29Auto merge of #115843 - lcnr:bb-provisional-cache, r=compiler-errorsbors-186/+64
2023-09-21Move `DepKind` to `rustc_query_system` and define it as `u16`John Kåre Alsaker-2/+2
2023-09-18remove provisional cachelcnr-186/+64
2023-09-14differentiate root and nested goalslcnr-3/+3
2023-09-11dedup `GoalEvaluationStep` and `GoalCandidate`lcnr-2/+9
2023-09-11split GoalEvaluation and CanonicalGoalEvaluationlcnr-0/+1
2023-08-30clean up `local_overflow_limit` computationRémy Rakic-5/+1
2023-08-29handle edge-case of a recursion limit of 0Rémy Rakic-1/+5
2023-08-12lower `evaluate_goal` stability check to `warn`lcnr-3/+7
2023-08-10make the provisional cache slightly less brokenlcnr-40/+57
2023-08-03inline helper methods into `with_new_goal`lcnr-115/+80
2023-08-03rewrite stack dependent overflow handlinglcnr-173/+178
2023-08-03handle overflow in the `EvalCtxt` separatelylcnr-28/+7
2023-08-03fix `make_ambiguous_response_no_constraints`lcnr-4/+12
2023-07-28refactor builtin unsize handling, extend commentslcnr-10/+4
2023-07-21new solver: add a separate cache for coherencelcnr-13/+12
2023-07-04reviewsBoxy-4/+1
2023-07-03add flag for disabling global cache and printing proof trees on errorBoxy-1/+4
2023-06-19dont use a traitBoxy-4/+4
2023-06-19say what kind of cache hitBoxy-3/+7
2023-06-19initial info dumpBoxy-2/+5
2023-05-25Prepopulate opaques in canonical inputMichael Goulet-30/+30
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-2/+2
2023-04-10Fix typos in compilerDaniPopes-2/+2
2023-04-05Tweak debug outputs to make debugging new solver easierMichael Goulet-0/+1
2023-03-29Rollup merge of #109718 - scottmcm:indexvec-last, r=NilstriebDylan DPC-1/+1
2023-03-29Rollup merge of #109683 - compiler-errors:self-ty-overflow, r=lcnrDylan DPC-0/+21
2023-03-29Rename `IndexVec::last` → `last_index`Scott McMurray-1/+1
2023-03-28check for intercrate mode when accessing the cachelcnr-5/+22
2023-03-28Check for overflow in assemble_candidates_after_normalizing_self_tyMichael Goulet-0/+21
2023-03-25Remove some stale FIXMEs in new solverMichael Goulet-2/+0
2023-03-21disable global caching during coherencelcnr-1/+2
2023-03-21new solver cleanup + coherencelcnr-2/+11
2023-03-16replace usage of `evaluate_goal` with a new `add_goal`Boxy-3/+1
2023-03-10Actually cache goalsMichael Goulet-70/+60
2023-03-10Move some solver stuff to middleMichael Goulet-3/+4
2023-02-14Auto merge of #108056 - matthiaskrgr:rollup-oa6bxvh, r=matthiaskrgrbors-0/+18
2023-02-14Reduce visibility of some itemsSantiago Pastorino-8/+8
2023-02-14Check for overflow in evaluate_canonical_goalSantiago Pastorino-7/+40
2023-02-14add test for coinduction in new solverlcnr-0/+18
2023-02-13Implement repeat_while_none for both SearchGraph and EvalCtxtSantiago Pastorino-24/+37
2023-02-13Extract try_move_finished_goal_to_global_cache from try_finalize_goalSantiago Pastorino-23/+34
2023-02-13Make Ok value of repeat_while_none more generalSantiago Pastorino-4/+5
2023-02-08correctly update goals in the cachelcnr-5/+8
2023-02-03intern external constraintsMichael Goulet-2/+1
2023-01-31Rollup merge of #107348 - lcnr:project-solve-new, r=compiler-errorsGuillaume Gomez-1/+5
2023-01-27assert that solver results are stablelcnr-1/+5
2023-01-26Intern CanonicalVarValuesMichael Goulet-0/+1
2023-01-18add note about indirect cycleslcnr-0/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 18:20:55 +0000