Code

Fix cached hash clash in Fixpoint#31140

Code

Open

ggevay wants to merge 4 commits intoMaterializeInc:mainMaterializeInc/materialize:mainfrom ggevay:cached-hash-clash-cycleggevay/materialize:cached-hash-clash-cycleCopy head branch name to clipboard

+229-8

Commits

Commits on Jan 22, 2025

• optimizer: update last_hash when fixpoint jumps back to the beginning

  ggevay

  committed
  52812e0

  Copy full SHA for 52812e0

• optimizer: factor out the updating of last_hash into a fn

  ggevay

  committed
  65a4ec6

  Copy full SHA for 65a4ec6

• optimizer: Downgrade "Fixpoint detected a loop" soft_assert to error

  Show description for 17163fa
  ggevay

  committed
  17163fa

  Copy full SHA for 17163fa

• Add test for MaterializeInc#8906

  ggevay

  committed
  646220a

  Copy full SHA for 646220a