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

Age	Commit message (Expand)	Author	Lines
2023-12-18	track the source of nested goals	lcnr	-4/+10
2023-12-14	update use of feature flags	lcnr	-1/+1
2023-11-09	`try_normalize_ty` end with rigid alias on failure	lcnr	-0/+10
2023-11-02	use global cache when computing proof trees	lcnr	-25/+41
2023-09-21	proof trees: use for `intercrate_ambiguity_causes`	lcnr	-9/+59
2023-09-14	differentiate root and nested goals	lcnr	-10/+19
2023-09-14	inspect: explicitly store added goals	lcnr	-0/+2
2023-09-14	order `added_goals_evaluation` and `nested_probes`	lcnr	-7/+12
2023-09-14	`GoalCandidate` to `Probe`	lcnr	-11/+14
2023-09-11	dedup `GoalEvaluationStep` and `GoalCandidate`	lcnr	-14/+19
2023-09-11	inspect: strongly typed CandidateKind	lcnr	-18/+26
2023-09-11	revision -> iteration for added_goals_evaluation	lcnr	-3/+3
2023-09-11	split GoalEvaluation and CanonicalGoalEvaluation	lcnr	-50/+43
2023-08-04	Rollup merge of #114287 - lcnr:overflow, r=compiler-errors	Michael Goulet	-0/+100
2023-08-03	Rework upcasting	Michael Goulet	-7/+13
2023-08-03	rewrite stack dependent overflow handling	lcnr	-0/+100
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	-1/+8
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	-57/+63
2023-06-20	cleanup imports	lcnr	-2/+6
2023-06-19	move to nested module	Boxy	-130/+134
2023-06-19	show normalizes-to hack and response instantiation goals	Boxy	-2/+22
2023-06-19	introduce a separate set of types for finalized proof trees	Boxy	-28/+39
2023-06-19	say what kind of cache hit	Boxy	-3/+10
2023-06-19	initial info dump	Boxy	-0/+168