Code

-Znext-solver caching#128828

Code

Merged

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

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

Aug 14, 2024

Commits

Commits on Aug 12, 2024

• do not use the global solver cache for proof trees

  Show description for 7b86c98
  lcnr

  committed
  7b86c98

  Copy full SHA for 7b86c98

• expand fuzzing support

  Show description for 51338ca
  lcnr

  committed
  51338ca

  Copy full SHA for 51338ca

• simplify match + move `debug!` call

  lcnr

  committed
  e87157b

  Copy full SHA for e87157b

• tracing: debug to trace

  lcnr

  committed
  9308401

  Copy full SHA for 9308401

• move behavior out of shared fn

  lcnr

  committed
  e83eacd

  Copy full SHA for e83eacd

• merge impl blocks

  lcnr

  committed
  0c75c08

  Copy full SHA for 0c75c08

• split provisional cache and stack lookup

  Show description for f860873
  lcnr

  committed
  f860873

  Copy full SHA for f860873

Commits on Aug 13, 2024

• implement a performant and fuzzed solver cache

  lcnr

  committed
  0aa17a4

  Copy full SHA for 0aa17a4