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

Merge main (with #1992 squashed) into the G2L lab branch

34b6ef3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar