Code

Fix-up soundness issue#2

Code

Open

TheoriArtBlnd wants to merge 2 commits intoArtBlnd:mainArtBlnd/self-reference:mainfrom TheoriArtBlnd:mainTheoriArtBlnd/self-reference:mainCopy head branch name to clipboard

+8-57

Commits

Commits on Apr 7, 2023

• Fix-up soundness hole

  TheoriArtBlnd

  committed
  23fe859

  Copy full SHA for 23fe859

• Fix-up soundness issue

  TheoriArtBlnd

  committed
  ec0c3b2

  Copy full SHA for ec0c3b2