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

Age	Commit message (Expand)	Author	Lines
2023-12-18	dont discard overflow from normalizes-to goals	lcnr	-0/+10
2023-12-14	consistently use "next solver" instead of "new solver"	lcnr	-3/+3
2023-11-22	Replace `no_ord_impl` with `orderable`.	Nicholas Nethercote	-0/+1
2023-11-09	remove stability assert in `evaluate_goal`	lcnr	-33/+0
2023-11-02	use global cache when computing proof trees	lcnr	-12/+26
2023-10-10	reorder files in solve	lcnr	-0/+368