summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/search_graph
AgeCommit message (Expand)AuthorLines
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
2023-01-18update project to emulate a projection cachelcnr-1/+1
2023-01-18remove assembly context and impl a bit morelcnr-0/+10
2023-01-18instantiate canonical vars eagerlylcnr-0/+371
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 19:52:26 +0000