| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -544/+592 |
| 2023-06-19 | Auto merge of #112351 - BoxyUwU:proof_tree_generation, r=lcnr | bors | -543/+1299 |
| 2023-06-19 | move to nested module | Boxy | -130/+134 |
| 2023-06-19 | create module so that RUSTC_LOG can filter to just proof trees | Boxy | -1/+9 |
| 2023-06-19 | allow caller to force proof tree generation | Boxy | -72/+89 |
| 2023-06-19 | show normalizes-to hack and response instantiation goals | Boxy | -18/+71 |
| 2023-06-19 | introduce a separate set of types for finalized proof trees | Boxy | -188/+335 |
| 2023-06-19 | dont use a trait | Boxy | -139/+116 |
| 2023-06-19 | say what kind of cache hit | Boxy | -11/+24 |
| 2023-06-19 | add -Z flag | Boxy | -3/+13 |
| 2023-06-19 | initial info dump | Boxy | -417/+944 |
| 2023-06-19 | Auto merge of #112784 - lnicola:sync-from-ra, r=lnicola | bors | -1250/+3891 |
| 2023-06-19 | Merge commit 'cd3bf9fe51676b520c546460e6d8919b8c8ff99f' into sync-from-ra | Laurențiu Nicola | -1250/+3891 |
| 2023-06-19 | Auto merge of #112724 - scottmcm:simpler-unchecked-shifts, r=Mark-Simulacrum | bors | -99/+449 |
| 2023-06-19 | Auto merge of #112617 - lqd:dump-mir-dataflow, r=tmiasko | bors | -7/+7 |
| 2023-06-18 | Auto merge of #112774 - compiler-errors:rollup-z8oof6r, r=compiler-errors | bors | -131/+167 |
| 2023-06-18 | Rollup merge of #112758 - bvanjoi:clean-up-resolve, r=petrochenkov | Michael Goulet | -53/+40 |
| 2023-06-18 | Rollup merge of #112753 - Zalathar:no-bless, r=clubby789 | Michael Goulet | -1/+2 |
| 2023-06-18 | Rollup merge of #112710 - oli-obk:const_to_pat_cleanups2, r=cjgillot | Michael Goulet | -59/+26 |
| 2023-06-18 | Rollup merge of #112668 - Kobzol:ci-msvc-ps1, r=pietroalbini | Michael Goulet | -2/+5 |
| 2023-06-18 | Rollup merge of #112663 - klensy:dusk-and-dawn, r=pietroalbini | Michael Goulet | -9/+1 |
| 2023-06-18 | Rollup merge of #112537 - compiler-errors:dont-record-adjustments-twice, r=cj... | Michael Goulet | -7/+93 |
| 2023-06-18 | Auto merge of #112645 - Kobzol:ci-mingw-merge, r=pietroalbini | bors | -52/+14 |
| 2023-06-18 | Auto merge of #112636 - clubby789:no-capture-array-ref, r=cjgillot | bors | -19/+66 |
| 2023-06-18 | refactor(resolve): delete `update_resolution` function | bohan | -53/+40 |
| 2023-06-18 | Auto merge of #112638 - lqd:rpo, r=cjgillot | bors | -46/+31 |
| 2023-06-18 | Merge `mingw-1/2` CI jobs | Jakub Beránek | -52/+14 |
| 2023-06-18 | Auto merge of #15076 - Veykril:bindings, r=Veykril | bors | -31/+43 |
| 2023-06-18 | Shrink size of hir::Binding | Lukas Wirth | -31/+43 |
| 2023-06-18 | Auto merge of #112755 - matthiaskrgr:rollup-e4bhbgn, r=matthiaskrgr | bors | -716/+784 |
| 2023-06-18 | Test `x.ps1` in `msvc` CI job | Jakub Beránek | -2/+5 |
| 2023-06-18 | Auto merge of #15075 - Veykril:bindings, r=Veykril | bors | -35/+42 |
| 2023-06-18 | fix: Add binding definition for for-expr iterator desugared binding | Lukas Wirth | -35/+42 |
| 2023-06-18 | Auto merge of #15054 - ponyii:fix/implement-missing-members-do-not-transform-... | bors | -49/+274 |
| 2023-06-18 | remove redundant combinators between PO and RPO | Rémy Rakic | -30/+6 |
| 2023-06-18 | Rollup merge of #112734 - dswij:bounds-predicates-clause, r=compiler-errors | Matthias Krüger | -24/+57 |
| 2023-06-18 | Rollup merge of #112722 - DrMeepster:patch-2, r=clubby789 | Matthias Krüger | -1/+1 |
| 2023-06-18 | Rollup merge of #112685 - cuviper:wasm-dlmalloc, r=Mark-Simulacrum | Matthias Krüger | -1/+1 |
| 2023-06-18 | Rollup merge of #112667 - compiler-errors:wf-goal-is-clause, r=lcnr | Matthias Krüger | -685/+719 |
| 2023-06-18 | Rollup merge of #107200 - mina86:c, r=Amanieu | Matthias Krüger | -5/+6 |
| 2023-06-18 | Auto merge of #112599 - saethlin:cleaner-panics, r=thomcc | bors | -8/+7 |
| 2023-06-18 | Don't try to auto-bless 32-bit `mir-opt` tests on ARM Mac hosts | Zalathar | -1/+2 |
| 2023-06-17 | Auto merge of #112595 - hargoniX:l4re_fix, r=Mark-Simulacrum | bors | -3/+23 |
| 2023-06-17 | Move some bounds computation out of astconv into its own file | Michael Goulet | -567/+585 |
| 2023-06-17 | Move ConstEvaluatable to Clause | Michael Goulet | -55/+54 |
| 2023-06-17 | Move WF goal to clause | Michael Goulet | -64/+81 |
| 2023-06-17 | Auto merge of #112746 - matthiaskrgr:rollup-se59bfd, r=matthiaskrgr | bors | -4/+152 |
| 2023-06-17 | Rollup merge of #112738 - matthiaskrgr:ice_msg, r=oli-obk | Matthias Krüger | -3/+3 |
| 2023-06-17 | Rollup merge of #112619 - jyn514:llvm-reminder, r=Mark-Simulacrum | Matthias Krüger | -0/+7 |
| 2023-06-17 | Rollup merge of #112610 - scottmcm:update-stdarch, r=Amanieu | Matthias Krüger | -0/+0 |
