Merge pull request #217 from ved-rivos/zacas_ratified

Update Zacas as ratified
riscv · Dec 23, 2023 · 6cf1e72 · 6cf1e72
2 parents 61d2ef4 + eda1f0d
commit 6cf1e72
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/unratified/rv64_zacas → rv64_zacas b/unratified/rv64_zacas → rv64_zacas
diff --git a/unratified/rv_zacas → rv_zacas b/unratified/rv_zacas → rv_zacas