summaryrefslogtreecommitdiff
path: root/compiler/rustc_trait_selection/src/solve/search_graph
Commit message (Expand)AuthorAgeFilesLines
* Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle2023-04-242-2/+2
* Fix typos in compilerDaniPopes2023-04-102-2/+2
* Tweak debug outputs to make debugging new solver easierMichael Goulet2023-04-051-0/+1
* Rollup merge of #109718 - scottmcm:indexvec-last, r=NilstriebDylan DPC2023-03-291-1/+1
|\
| * Rename `IndexVec::last` → `last_index`Scott McMurray2023-03-291-1/+1
* | Rollup merge of #109683 - compiler-errors:self-ty-overflow, r=lcnrDylan DPC2023-03-291-0/+21
|\ \
| * | Check for overflow in assemble_candidates_after_normalizing_self_tyMichael Goulet2023-03-281-0/+21
| |/
* | check for intercrate mode when accessing the cachelcnr2023-03-281-5/+22
|/
* Remove some stale FIXMEs in new solverMichael Goulet2023-03-251-2/+0
* disable global caching during coherencelcnr2023-03-211-1/+2
* new solver cleanup + coherencelcnr2023-03-211-2/+11
* replace usage of `evaluate_goal` with a new `add_goal`Boxy2023-03-161-3/+1
* Actually cache goalsMichael Goulet2023-03-102-70/+60
* Move some solver stuff to middleMichael Goulet2023-03-103-3/+4
* Auto merge of #108056 - matthiaskrgr:rollup-oa6bxvh, r=matthiaskrgrbors2023-02-141-0/+18
|\
| * add test for coinduction in new solverlcnr2023-02-141-0/+18
* | Reduce visibility of some itemsSantiago Pastorino2023-02-142-8/+8
* | Check for overflow in evaluate_canonical_goalSantiago Pastorino2023-02-142-7/+40
* | Implement repeat_while_none for both SearchGraph and EvalCtxtSantiago Pastorino2023-02-132-24/+37
* | Extract try_move_finished_goal_to_global_cache from try_finalize_goalSantiago Pastorino2023-02-131-23/+34
* | Make Ok value of repeat_while_none more generalSantiago Pastorino2023-02-131-4/+5
|/
* correctly update goals in the cachelcnr2023-02-081-5/+8
* intern external constraintsMichael Goulet2023-02-031-2/+1
* Rollup merge of #107348 - lcnr:project-solve-new, r=compiler-errorsGuillaume Gomez2023-01-311-1/+5
|\
| * assert that solver results are stablelcnr2023-01-271-1/+5
* | Intern CanonicalVarValuesMichael Goulet2023-01-261-0/+1
|/
* add note about indirect cycleslcnr2023-01-181-0/+4
* update project to emulate a projection cachelcnr2023-01-181-1/+1
* remove assembly context and impl a bit morelcnr2023-01-182-0/+10
* instantiate canonical vars eagerlylcnr2023-01-183-0/+371
View Lorry Controller Status