Skip to content

Fix names of dot-product instructions and extensions - #423

Merged
Andrew Waterman (aswaterman) merged 1 commit into
masterfrom
rename-dot
Jul 11, 2026
Merged

Fix names of dot-product instructions and extensions#423
Andrew Waterman (aswaterman) merged 1 commit into
masterfrom
rename-dot

Fix names of dot-product instructions and extensions

2735ca6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar