Code

refactor search graph even more!#128115

Code

Closed

lcnr wants to merge 7 commits intorust-lang:masterrust-lang/rust:masterfrom

lcnr:search-graph-10lcnr/rust:search-graph-10Copy head branch name to clipboard

Commits

Commits on Jul 23, 2024

• do not use the global solver cache for proof trees

  Show description for e8cb28b
  lcnr

  committed
  e8cb28b

  Copy full SHA for e8cb28b

• expand fuzzing support

  Show description for 49922f7
  lcnr

  committed
  49922f7

  Copy full SHA for 49922f7

• simplify match + move `debug!` call

  lcnr

  committed
  4955a35

  Copy full SHA for 4955a35

• tracing: debug to trace

  lcnr

  committed
  61851f9

  Copy full SHA for 61851f9

• move behavior out of shared fn

  lcnr

  committed
  a7ce1e1

  Copy full SHA for a7ce1e1

• merge impl blocks

  lcnr

  committed
  9fbcf25

  Copy full SHA for 9fbcf25

• split provisional cache and stack lookup

  Show description for 4d64109
  lcnr

  committed
  4d64109

  Copy full SHA for 4d64109