chore: rv32im deviations

succinctlabs · Nov 21, 2024 · fc323a7 · fc323a7
1 parent e2cc7af
commit fc323a7
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 9 deletions.
diff --git a/book/SUMMARY.md b/book/SUMMARY.md
@@ -72,6 +72,6 @@
 
 - [Usage in CI](./developers/usage-in-ci.md)
 
-- [RV32IM Specification](./developers/rv32im-specification.md)
+- [RV32IM Deviations](./developers/rv32im-deviations.md)
 
 - [Building Circuit Artifacts](./developers/building-circuit-artifacts.md)
diff --git a/book/developers/rv32im-specification.md b/book/developers/rv32im-specification.md