From e850856944402b6c57962f7f8c53264d71918a5b Mon Sep 17 00:00:00 2001 From: Yi Sun Date: Sun, 15 Dec 2024 21:37:36 -0600 Subject: [PATCH] chore: remove overview, testing from advanced, add new-extension (#1070) --- book/src/SUMMARY.md | 3 +-- book/src/advanced-usage/overview.md | 1 - book/src/advanced-usage/testing-program.md | 21 --------------------- 3 files changed, 1 insertion(+), 24 deletions(-) delete mode 100644 book/src/advanced-usage/overview.md delete mode 100644 book/src/advanced-usage/testing-program.md diff --git a/book/src/SUMMARY.md b/book/src/SUMMARY.md index 38f675db2d..fb4852b228 100644 --- a/book/src/SUMMARY.md +++ b/book/src/SUMMARY.md @@ -27,6 +27,5 @@ # Advanced Usage -- [Overview](./advanced-usage/overview.md) - [SDK](./advanced-usage/sdk.md) -- [Testing](./advanced-usage/testing-program.md) +- [Creating a New Extension](./advanced-usage/new-extension.md) diff --git a/book/src/advanced-usage/overview.md b/book/src/advanced-usage/overview.md deleted file mode 100644 index 07dd0c5c77..0000000000 --- a/book/src/advanced-usage/overview.md +++ /dev/null @@ -1 +0,0 @@ -# Overview diff --git a/book/src/advanced-usage/testing-program.md b/book/src/advanced-usage/testing-program.md deleted file mode 100644 index afd89ad955..0000000000 --- a/book/src/advanced-usage/testing-program.md +++ /dev/null @@ -1,21 +0,0 @@ -## Testing the program - -### Running on the host machine - -To test the program on the host machine, one can use the `std` feature: `cargo run --features std`. So for example to run the [fibonacci program](https://github.com/openvm-org/openvm/tree/main/benchmarks/programs/fibonacci): - -```bash -printf '\xA0\x86\x01\x00\x00\x00\x00\x00' | cargo run --features std -``` - -### Running with the OpenVM runtime - -For more information on building, transpiling, running, generating proofs, and verifying proofs with the CLI, see the [CLI](../writing-apps/overview.md)section. To do the same with the SDK, see the [SDK](sdk.md) section. - -## Troubleshooting - -todo - -## FAQ - -todo \ No newline at end of file