about summary refs log tree commit diff
AgeCommit message (Expand)AuthorLines
2023-07-04Rollup merge of #113296 - BoxyUwU:proof_trees_on_error, r=lcnrMatthias Krüger-34/+159
2023-07-04Rollup merge of #113282 - jonathanpallant:update-arm-target-descriptions, r=J...Matthias Krüger-32/+32
2023-07-04Rollup merge of #113251 - chenyukang:yukang-fix-112940-smir, r=oli-obkMatthias Krüger-14/+19
2023-07-04Rollup merge of #113192 - lcnr:add-comment, r=compiler-errorsMatthias Krüger-4/+13
2023-07-04reviewsBoxy-102/+95
2023-07-04Auto merge of #113309 - chenyukang:yukang-fix-89640-space, r=Nilstriebbors-0/+32
2023-07-04Detect extra space in keyword for better hintyukang-0/+32
2023-07-04Auto merge of #113303 - compiler-errors:yeet-chalk, r=lcnrbors-3864/+35
2023-07-04move logic for flags into separate functionBoxy-30/+35
2023-07-04change flag nameBoxy-2/+2
2023-07-04reviewsBoxy-8/+8
2023-07-04Auto merge of #113304 - cuviper:indexmap-2, r=Mark-Simulacrumbors-20/+12
2023-07-04Auto merge of #113215 - compiler-errors:rpitit-predicates-tweaks, r=spastorinobors-41/+76
2023-07-04Auto merge of #112917 - chenyukang:yukang-fix-112590, r=estebankbors-14/+174
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-73/+18
2023-07-03Remove compare modeMichael Goulet-12/+1
2023-07-03Remove chalk from the compilerMichael Goulet-3779/+16
2023-07-03Bless ui-fulldeps/missing-rustc-driver-errorJosh Stone-10/+2
2023-07-03Upgrade to indexmap 2.0.0Josh Stone-10/+10
2023-07-03Auto merge of #108611 - davidtwco:issue-94223-external-abi-fn-ptr-in-internal...bors-19/+324
2023-07-03add flag for disabling global cache and printing proof trees on errorBoxy-48/+175
2023-07-03Auto merge of #113293 - GuillaumeGomez:rollup-2395uw0, r=GuillaumeGomezbors-127/+551
2023-07-03Rollup merge of #113286 - fmease:iat-dont-select-if-not-enabled, r=compiler-e...Guillaume Gomez-46/+99
2023-07-03Rollup merge of #113285 - GuillaumeGomez:display-long-inline-cfg, r=notriddleGuillaume Gomez-4/+23
2023-07-03Rollup merge of #112869 - compiler-errors:sketchy-new-select, r=lcnrGuillaume Gomez-77/+429
2023-07-03Helpers for creating EvalCtxts, some commentsMichael Goulet-157/+174
2023-07-03Implement selection in new trait solverMichael Goulet-21/+356
2023-07-03Auto merge of #113288 - Nilstrieb:revert-dev, r=oli-obkbors-13/+4
2023-07-03lint: refactor to make logic a bit cleanerDavid Wood-29/+27
2023-07-03lint: stop normalizing types to avoid recur limitsDavid Wood-5/+1
2023-07-03Revert "Suggest `x build library` for a custom toolchain that fails to load `...Nilstrieb-13/+4
2023-07-03lint/ctypes: check other types for ext. fn-ptr tyDavid Wood-2/+190
2023-07-03lint/ctypes: multiple external fn-ptrs in tyDavid Wood-19/+68
2023-07-03abi: avoid ice for non-ffi-safe fn ptrsDavid Wood-4/+14
2023-07-03lint/ctypes: ext. abi fn-ptr in internal abi fnDavid Wood-17/+81
2023-07-03Don't perform selection if IATs are not enabledLeón Orell Valerian Liehr-46/+99
2023-07-03Auto merge of #113275 - Nilstrieb:perm, r=fee1-deadbors-0/+9
2023-07-03Add GUI test for long inline cfg labels displayGuillaume Gomez-1/+20
2023-07-03Fix display of long inline cfg labelsGuillaume Gomez-3/+3
2023-07-03Update platform-support.mdJonathan Pallant (Ferrous Systems)-32/+32
2023-07-03Auto merge of #113086 - lcnr:rust8, r=compiler-errorsbors-296/+834
2023-07-03rebaselcnr-2/+2
2023-07-03link to PERMITTED_DEPENDENCIES in tidy errorNilstrieb-0/+9
2023-07-03update testslcnr-191/+366
2023-07-03reviewlcnr-16/+27
2023-07-03`deeply_normalize` pass in fulfill cx for old solverlcnr-12/+15
2023-07-03use `deeply_normalize` for `assumed_wf_types`lcnr-52/+112
2023-07-03add a `try_structurally_resolve_type` in coercelcnr-14/+23
2023-07-03add deep normalization via the new solverlcnr-6/+281
2023-07-03add instrument to `register_predicate_obligation`lcnr-0/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 18:07:55 +0000