rust - https://github.com/rust-lang/rust

Age	Commit message (Expand)	Author	Lines
2024-05-18	Uplift inspect into rustc_type_ir	Michael Goulet	-169/+0
2024-05-13	Use a proper probe for shadowing impl	Michael Goulet	-0/+3
2024-05-06	Record impl args in the InsepctCandiate rather than rematching during select	Michael Goulet	-0/+3
2024-05-02	Higher ranked goal source, do overflow handling less badly	Michael Goulet	-0/+1
2024-04-29	Only register candidate if it is associated w a shallow certainty	Michael Goulet	-2/+2
2024-04-29	Actually use probes when needed and stop relying on existing outer probes	Michael Goulet	-2/+2
2024-04-27	Record certainty of evaluate_added_goals_and_make_canonical_response call in ...	Michael Goulet	-0/+3
2024-04-04	normalizes-to change from '1' to '0 to inf' steps	lcnr	-5/+3
2024-03-18	cleanup + review	lcnr	-4/+1
2024-03-08	inspect formatter: add braces	lcnr	-17/+30
2024-02-26	always emit `AliasRelate` goals when relating aliases	lcnr	-14/+1
2024-01-09	readd the provisional cache	lcnr	-0/+3
2023-12-18	track the source of nested goals	lcnr	-1/+7
2023-11-09	`try_normalize_ty` end with rigid alias on failure	lcnr	-0/+5
2023-11-02	use global cache when computing proof trees	lcnr	-6/+3
2023-09-21	proof trees: use for `intercrate_ambiguity_causes`	lcnr	-1/+1
2023-09-14	differentiate root and nested goals	lcnr	-7/+10
2023-09-14	inspect: explicitly store added goals	lcnr	-0/+1
2023-09-14	order `added_goals_evaluation` and `nested_probes`	lcnr	-5/+5
2023-09-14	`GoalCandidate` to `Probe`	lcnr	-6/+6
2023-09-11	dedup `GoalEvaluationStep` and `GoalCandidate`	lcnr	-10/+8
2023-09-11	inspect: strongly typed CandidateKind	lcnr	-4/+7
2023-09-11	revision -> iteration for added_goals_evaluation	lcnr	-3/+3
2023-09-11	split GoalEvaluation and CanonicalGoalEvaluation	lcnr	-30/+35
2023-08-03	Rework upcasting	Michael Goulet	-2/+5
2023-07-30	inline format!() args up to and including rustc_middle	Matthias Krüger	-2/+2
2023-07-25	Normalize the RHS of an unsize goal	Michael Goulet	-0/+3
2023-07-23	match on chars instead of &strs for .split() or .strip_prefix()	Matthias Krüger	-2/+2
2023-07-13	typo	lcnr	-1/+1
2023-07-13	refactor proof tree formatting	lcnr	-53/+59
2023-06-19	move to nested module	Boxy	-0/+131