Address some comments

openvm-org · Jan 9, 2025 · d310fef · d310fef
1 parent 21723d8
commit d310fef
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 1 deletion.
diff --git a/Cargo.toml b/Cargo.toml
@@ -124,7 +124,7 @@ openvm-transpiler = { path = "crates/toolchain/transpiler", default-features = f
 openvm-circuit = { path = "crates/vm", default-features = false }
 openvm-circuit-derive = { path = "crates/vm/derive", default-features = false }
 openvm-toolchain-tests = { path = "crates/toolchain/tests", default-features = false }
-openvm-custom-insn = { path = "crates/toolchain/platform/custom_insn", default-features = false }
+openvm-custom-insn = { path = "crates/toolchain/custom_insn", default-features = false }
 
 # Extensions
 openvm-rv32im-circuit = { path = "extensions/rv32im/circuit", default-features = false }

diff --git a/...toolchain/platform/custom_insn/Cargo.toml → crates/toolchain/custom_insn/Cargo.toml b/...toolchain/platform/custom_insn/Cargo.toml → crates/toolchain/custom_insn/Cargo.toml
diff --git a/...toolchain/platform/custom_insn/src/lib.rs → crates/toolchain/custom_insn/src/lib.rs b/...toolchain/platform/custom_insn/src/lib.rs → crates/toolchain/custom_insn/src/lib.rs
diff --git a/docs/repo/layout.md b/docs/repo/layout.md
@@ -56,6 +56,7 @@ Command-line binary to compile, execute, and prove guest programs is in [`cli`](
 - [`openvm-instructions-derive`](../../crates/toolchain/instructions/derive): Procedural macros to derive traits for OpenVM instructions.
 - [`openvm-macros-common`](../../crates/toolchain/macros): Common library for parsing utilities shared across procedural macros used for custom instruction setup in guest programs.
 - [`openvm-toolchain-tests`](../../crates/toolchain/tests): Includes all official RISC-V 32-bit IM test vectors and transpiler tests. Also, provides utilities for writing integration tests for custom extensions.
+- [`openvm-custom-insn`](../../crates/toolchain/custom_insn): Custom instruction macros for use in guest programs.
 
 ### Circuit Framework