Code

new solver proof tree generation#112351

Code

Merged

bors merged 9 commits intorust-lang:masterrust-lang/rust:masterfrom

BoxyUwU:proof_tree_generationBoxyUwU/rust:proof_tree_generationCopy head branch name to clipboard

Jun 19, 2023

Commits

Commits on Jun 19, 2023

• initial info dump

  BoxyUwU

  committed
  3009b2c

  Copy full SHA for 3009b2c

• add -Z flag

  BoxyUwU

  committed
  a2050ba

  Copy full SHA for a2050ba

• say what kind of cache hit

  BoxyUwU

  committed
  3587d4c

  Copy full SHA for 3587d4c

• dont use a trait

  BoxyUwU

  committed
  7a3665d

  Copy full SHA for 7a3665d

• introduce a separate set of types for finalized proof trees

  BoxyUwU

  committed
  e367c04

  Copy full SHA for e367c04

• show normalizes-to hack and response instantiation goals

  BoxyUwU

  committed
  51090b9

  Copy full SHA for 51090b9

• allow caller to force proof tree generation

  BoxyUwU

  committed
  bb743f8

  Copy full SHA for bb743f8

• create module so that RUSTC_LOG can filter to just proof trees

  BoxyUwU

  committed
  9af7122

  Copy full SHA for 9af7122

• move to nested module

  BoxyUwU

  committed
  3a6ce74

  Copy full SHA for 3a6ce74