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

Age	Commit message (Collapse)	Author	Lines
2025-02-28	remove useless tests	lcnr	-46/+0
	they don't detect any bugs in the search graph. We instead check for these via `search_graph_fuzz`.
2024-05-16	Don't ICE because recomputing overflow goals during ↵	Michael Goulet	-1/+1
	find_best_leaf_obligation causes inference side-effects
2024-05-02	Higher ranked goal source, do overflow handling less badly	Michael Goulet	-2/+2

2024-05-02	Use a proof tree visitor to refine the Obligation for error reporting	Michael Goulet	-1/+1

2024-02-16	[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives	许杰友 Jieyou Xu (Joe)	-1/+1

2023-12-14	consistently use "next solver" instead of "new solver"	lcnr	-0/+46