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

Age	Commit message (Expand)	Author	Lines
2024-02-29	distinguish recursion limit based overflow for diagnostics	lcnr	-12/+9
2024-01-09	this is not a rust code snippet	lcnr	-4/+5
2024-01-09	add comments and tests	lcnr	-36/+58
2024-01-09	avoid always rerunning in case of a cycle	lcnr	-34/+71
2024-01-09	readd the provisional cache	lcnr	-61/+154
2024-01-08	`all` to `any`	lcnr	-5/+5
2024-01-08	do not track root depth of cycles	lcnr	-37/+32
2024-01-08	use doc comments	lcnr	-3/+3
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