| 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 |
