index
:
rust
this commit
auto
automation/bors/try
automation/bors/try-merge
beta
cargo_update
lcnr/rustc-dev-guide
master
perf-tmp
stable
try
try-perf
https://github.com/rust-lang/rust
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
compiler
/
rustc_trait_selection
/
src
/
solve
/
search_graph
Age
Commit message (
Expand
)
Author
Lines
2023-02-14
Auto merge of #108056 - matthiaskrgr:rollup-oa6bxvh, r=matthiaskrgr
bors
-0
/
+18
2023-02-14
Reduce visibility of some items
Santiago Pastorino
-8
/
+8
2023-02-14
Check for overflow in evaluate_canonical_goal
Santiago Pastorino
-7
/
+40
2023-02-14
add test for coinduction in new solver
lcnr
-0
/
+18
2023-02-13
Implement repeat_while_none for both SearchGraph and EvalCtxt
Santiago Pastorino
-24
/
+37
2023-02-13
Extract try_move_finished_goal_to_global_cache from try_finalize_goal
Santiago Pastorino
-23
/
+34
2023-02-13
Make Ok value of repeat_while_none more general
Santiago Pastorino
-4
/
+5
2023-02-08
correctly update goals in the cache
lcnr
-5
/
+8
2023-02-03
intern external constraints
Michael Goulet
-2
/
+1
2023-01-31
Rollup merge of #107348 - lcnr:project-solve-new, r=compiler-errors
Guillaume Gomez
-1
/
+5
2023-01-27
assert that solver results are stable
lcnr
-1
/
+5
2023-01-26
Intern CanonicalVarValues
Michael Goulet
-0
/
+1
2023-01-18
add note about indirect cycles
lcnr
-0
/
+4
2023-01-18
update project to emulate a projection cache
lcnr
-1
/
+1
2023-01-18
remove assembly context and impl a bit more
lcnr
-0
/
+10
2023-01-18
instantiate canonical vars eagerly
lcnr
-0
/
+371