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

Age	Commit message (Expand)	Author	Lines
2024-06-18	Fix impl for SolverDelegate	Michael Goulet	-0/+4
2023-09-21	proof trees: use for `intercrate_ambiguity_causes`	lcnr	-482/+0
2023-09-14	differentiate root and nested goals	lcnr	-12/+30
2023-09-14	inspect: explicitly store added goals	lcnr	-0/+17
2023-09-14	order `added_goals_evaluation` and `nested_probes`	lcnr	-24/+25
2023-09-14	`GoalCandidate` to `Probe`	lcnr	-27/+25
2023-09-11	dedup `GoalEvaluationStep` and `GoalCandidate`	lcnr	-37/+44
2023-09-11	inspect: strongly typed CandidateKind	lcnr	-9/+9
2023-09-11	inspect: handle `None` in `nested`	lcnr	-27/+7
2023-09-11	split GoalEvaluation and CanonicalGoalEvaluation	lcnr	-49/+82
2023-07-10	avoid building proof trees in select	lcnr	-22/+15
2023-07-04	reviews	Boxy	-69/+68
2023-07-04	move logic for flags into separate function	Boxy	-1/+34
2023-07-03	add flag for disabling global cache and printing proof trees on error	Boxy	-31/+61
2023-06-20	inspect nits	lcnr	-147/+158
2023-06-20	cleanup imports	lcnr	-10/+5
2023-06-19	create module so that RUSTC_LOG can filter to just proof trees	Boxy	-0/+2
2023-06-19	show normalizes-to hack and response instantiation goals	Boxy	-4/+24
2023-06-19	introduce a separate set of types for finalized proof trees	Boxy	-0/+345