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

Age	Commit message (Expand)	Author	Lines
2023-12-07	add unused `NormalizesTo` predicate	lcnr	-0/+5
2023-11-21	Remove ClosureKind predicate kind	Michael Goulet	-1/+0
2023-07-10	avoid building proof trees in select	lcnr	-2/+2
2023-07-03	rebase	lcnr	-1/+1
2023-07-03	add instrument to `register_predicate_obligation`	lcnr	-0/+1
2023-07-01	Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errors	bors	-3/+11
2023-06-29	change snapshot tracking in fulfillment contexts	lcnr	-3/+11
2023-06-26	TypeWellFormedInEnv	Michael Goulet	-2/+1
2023-06-19	s/Clause/ClauseKind	Michael Goulet	-1/+1
2023-06-19	allow caller to force proof tree generation	Boxy	-58/+64
2023-06-17	Move ConstEvaluatable to Clause	Michael Goulet	-1/+0
2023-06-17	Move WF goal to clause	Michael Goulet	-1/+0
2023-06-02	No const equate in new solver	Michael Goulet	-11/+2
2023-05-25	Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu...	Michael Goulet	-1/+3
2023-04-10	Report overflows gracefully with new solver	Michael Goulet	-5/+24
2023-03-23	Return nested obligations from canonical response var unification	Michael Goulet	-2/+12
2023-03-23	Rename AliasEq -> AliasRelate	Michael Goulet	-1/+1
2023-03-23	Include relation direction in AliasEq predicate	Michael Goulet	-1/+1
2023-03-05	drop_tracking_mir: support new solver.	Camille GILLOT	-1/+1
2023-02-10	add `AliasEq` to `PredicateKind`	Boxy	-0/+5
2023-02-07	Replacing bound vars is actually instantiating a binder	Michael Goulet	-3/+3
2023-01-27	Compute generator saved locals on MIR.	Camille GILLOT	-0/+7
2023-01-27	Separate trait selection from ambiguity reporting.	Camille GILLOT	-6/+1
2023-01-26	Report the right fulfillment errors	Michael Goulet	-10/+57
2023-01-23	`new_outside_solver` -> `evaluate_root_goal`	lcnr	-5/+2
2023-01-22	Store relationships on Inherent	Santiago Pastorino	-6/+0
2023-01-19	swap Ambiguity and Unimplemented in new trait engine	Michael Goulet	-2/+4
2023-01-18	remove assembly context and impl a bit more	lcnr	-21/+6
2023-01-18	instantiate canonical vars eagerly	lcnr	-5/+21
2023-01-12	Implement dummy query responses and a jank instantiate	Michael Goulet	-1/+1
2023-01-11	Report fulfillment errors in new trait solver	Michael Goulet	-11/+25
2022-12-19	implement the skeleton of the updated trait solver	lcnr	-0/+92