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

Age	Commit message (Collapse)	Author	Lines
2025-09-18	move `mod canonical` out of `eval_ctxt`	lcnr	-3/+1

2025-08-29	cleanup proof tree implementation and add cache	lcnr	-287/+112

2025-08-09	some `derive_more` refactors	Deadbeef	-4/+12
	some clauses can be merged together without requiring an attribute for each trait derived. also manually impl `Eq` because the `derive_where` generated code is too much for my comfort
2025-06-23	inspect: merge `[Canonical]GoalEvaluation`	lcnr	-70/+18

2025-04-24	norm nested aliases before evaluating the parent goal	lcnr	-14/+0

2025-03-05	change definitely non-productive cycles to error	lcnr	-1/+1

2024-10-22	remove unused field	lcnr	-10/+6

2024-09-22	Reformat using the new identifier sorting from rustfmt	Michael Goulet	-2/+2

2024-08-29	Add `warn(unreachable_pub)` to `rustc_next_trait_solver`.	Nicholas Nethercote	-21/+28

2024-08-12	do not use the global solver cache for proof trees	lcnr	-92/+14
	doing so requires overwriting global cache entries and generally adds significant complexity to the solver. This is also only ever done for root goals, so it feels easier to wrap the `evaluate_canonical_goal` in an ordinary query if necessary.
2024-07-29	Reformat `use` declarations.	Nicholas Nethercote	-3/+2
	The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options.
2024-07-12	rustc_next_trait_solver: derivative -> derive-where	Pavel Grigorenko	-14/+8

2024-07-12	enable fuzzing of `SearchGraph`	lcnr	-19/+50
	fully move it into `rustc_type_ir` and make it independent of `Interner`.
2024-06-25	Rename tcx to cx	Michael Goulet	-2/+2

2024-06-24	Replace Deref bounds on Interner in favor of a SliceLike trait	Michael Goulet	-0/+1

2024-06-21	Rename a bunch of things	Michael Goulet	-29/+26

2024-06-18	Fix impl for SolverDelegate	Michael Goulet	-0/+2

2024-06-18	Uplift the new trait solver	Michael Goulet	-0/+579