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

Conversation

@aswaterman

Copy link
Copy Markdown
Member

In accordance with riscv/riscv-isa-manual#2618

In accordance with riscv/riscv-isa-manual#2618

Signed-off-by: Andrew Waterman <andrew@sifive.com>
@aswaterman
Andrew Waterman (aswaterman) merged commit c6edca7 into master Jul 11, 2026
13 checks passed
@aswaterman
Andrew Waterman (aswaterman) deleted the rename-dot branch July 11, 2026 00:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant