From d310fef386efb45719ccc6dea77b147ba001281f Mon Sep 17 00:00:00 2001 From: Alexander Golovanov Date: Thu, 9 Jan 2025 12:19:52 +0100 Subject: [PATCH] Address some comments --- Cargo.toml | 2 +- crates/toolchain/{platform => }/custom_insn/Cargo.toml | 0 crates/toolchain/{platform => }/custom_insn/src/lib.rs | 0 docs/repo/layout.md | 1 + 4 files changed, 2 insertions(+), 1 deletion(-) rename crates/toolchain/{platform => }/custom_insn/Cargo.toml (100%) rename crates/toolchain/{platform => }/custom_insn/src/lib.rs (100%) diff --git a/Cargo.toml b/Cargo.toml index 6a0958509..9656e69db 100644 --- 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/crates/toolchain/platform/custom_insn/Cargo.toml b/crates/toolchain/custom_insn/Cargo.toml similarity index 100% rename from crates/toolchain/platform/custom_insn/Cargo.toml rename to crates/toolchain/custom_insn/Cargo.toml diff --git a/crates/toolchain/platform/custom_insn/src/lib.rs b/crates/toolchain/custom_insn/src/lib.rs similarity index 100% rename from crates/toolchain/platform/custom_insn/src/lib.rs rename to crates/toolchain/custom_insn/src/lib.rs diff --git a/docs/repo/layout.md b/docs/repo/layout.md index 2684373c8..2c956ece5 100644 --- 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