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

Age	Commit message (Collapse)	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
	also handle 2 panics when dumping proof trees for the whole test suite - need to actually tell the proof tree builder about overflow - need to handle a recursion_limit of 0 :<
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
	the unnormalized goal is in the callers inference context, while anything inside of the `CanonicalGoalEvaluation` is inside of a new one.
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