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

Age	Commit message (Expand)	Author	Lines
2023-11-02	use global cache when computing proof trees	lcnr	-67/+66
2023-09-21	w	lcnr	-1/+1
2023-09-21	slight refactor, add comment	lcnr	-11/+20
2023-09-21	proof trees: use for `intercrate_ambiguity_causes`	lcnr	-0/+755
2023-07-03	add flag for disabling global cache and printing proof trees on error	Boxy	-5/+0
2023-06-19	create module so that RUSTC_LOG can filter to just proof trees	Boxy	-0/+5
2023-06-19	introduce a separate set of types for finalized proof trees	Boxy	-229/+0
2023-06-19	dont use a trait	Boxy	-113/+96
2023-06-19	say what kind of cache hit	Boxy	-5/+7
2023-06-19	initial info dump	Boxy	-0/+244