Skip to content

dr-isa-stream-lab: G2L falsifier — one witnessed translation reused across GEMMs (D-DT64-G2L-1) - #1994

Merged
AdaWorldAPI merged 12 commits into
mainfrom
ccr-8062bcc7-l7lkz9-g2l-lab
Nov 10, 2026
Merged

dr-isa-stream-lab: G2L falsifier — one witnessed translation reused across GEMMs (D-DT64-G2L-1)#1994
AdaWorldAPI merged 12 commits into
mainfrom
ccr-8062bcc7-l7lkz9-g2l-lab

Commits

  1. Commits on Nov 10, 2026