Michael Goulet
|
d21e4d8411
|
Actually cache goals
|
2023-03-10 23:49:42 +00:00 |
|
Michael Goulet
|
67698aa6ad
|
Move some solver stuff to middle
|
2023-03-10 23:46:38 +00:00 |
|
bors
|
0416b1a6f6
|
Auto merge of #108056 - matthiaskrgr:rollup-oa6bxvh, r=matthiaskrgr
Rollup of 9 pull requests
Successful merges:
- #107573 (Update the minimum external LLVM to 14)
- #107626 (Fix `x fix` on the standard library itself)
- #107673 (update ICU4X to 1.1.0)
- #107733 (Store metrics from `metrics.json` to CI PGO timer)
- #108007 (Use `is_str` instead of string kind comparison)
- #108033 (add an unstable `#[rustc_coinductive]` attribute)
- #108039 (Refactor refcounted structural_impls via functors)
- #108040 (Use derive attributes for uninteresting traversals)
- #108044 (interpret: rename Pointer::from_addr → from_addr_invalid)
Failed merges:
r? `@ghost`
`@rustbot` modify labels: rollup
|
2023-02-14 21:07:04 +00:00 |
|
Santiago Pastorino
|
26136c6224
|
Reduce visibility of some items
|
2023-02-14 10:17:07 -03:00 |
|
Santiago Pastorino
|
c8dae10f14
|
Check for overflow in evaluate_canonical_goal
|
2023-02-14 09:51:39 -03:00 |
|
lcnr
|
51671cd435
|
add test for coinduction in new solver
|
2023-02-14 12:18:33 +01:00 |
|
Santiago Pastorino
|
826bee7085
|
Implement repeat_while_none for both SearchGraph and EvalCtxt
|
2023-02-13 14:45:39 -03:00 |
|
Santiago Pastorino
|
873c83ba56
|
Extract try_move_finished_goal_to_global_cache from try_finalize_goal
|
2023-02-13 14:45:37 -03:00 |
|
lcnr
|
a5164605bc
|
correctly update goals in the cache
|
2023-02-08 19:11:14 +01:00 |
|
lcnr
|
85e6f38e79
|
assert that solver results are stable
|
2023-01-27 10:05:14 +01:00 |
|
lcnr
|
31ac29d989
|
update project to emulate a projection cache
|
2023-01-18 08:11:15 +01:00 |
|
lcnr
|
660c28391c
|
remove assembly context and impl a bit more
|
2023-01-18 08:11:15 +01:00 |
|
lcnr
|
bf7dbff921
|
instantiate canonical vars eagerly
|
2023-01-18 08:11:13 +01:00 |
|