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

Age	Commit message (Expand)	Author	Lines
2023-07-10	avoid building proof trees in select	lcnr	-22/+15
2023-07-04	reviews	Boxy	-69/+68
2023-07-04	move logic for flags into separate function	Boxy	-1/+34
2023-07-03	add flag for disabling global cache and printing proof trees on error	Boxy	-31/+61
2023-06-20	inspect nits	lcnr	-147/+158
2023-06-20	cleanup imports	lcnr	-10/+5
2023-06-19	create module so that RUSTC_LOG can filter to just proof trees	Boxy	-0/+2
2023-06-19	show normalizes-to hack and response instantiation goals	Boxy	-4/+24
2023-06-19	introduce a separate set of types for finalized proof trees	Boxy	-0/+345