mirror of
https://github.com/anoma/juvix.git
synced 2024-12-24 16:12:14 +03:00
Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.
8272ee32c1
This PR adds support for `Anoma.Protobuf.IndexerService.ListUnrevealedCommits` via the CLI: ``` $ juvix dev anoma indexer list-unrevealed-commits --help Usage: juvix dev anoma indexer list-unrevealed-commits [-o|--output OUTPUT_FILE] Call the Anoma.Protobuf.IndexerService.ListUnrevealedCommits endpoint Available options: -o,--output OUTPUT_FILE Path to output file -h,--help Show this help text ``` It also adds a test suite for Anoma client transaction submissions / verification. The Swap example using the Resource Machine API is tested with the following flow: 1. Compile the Swap example 2. Submit the compiled output to the prove endpoint - capture the expected commitment in a trace 3. Submit the proved output to add-transaction 4. Poll ListUnrevealedCommits until a commit appears and compare it with the commitment we captured in 2. |
||
|---|---|---|
| .devcontainer | ||
| .github | ||
| app | ||
| assets | ||
| bench | ||
| bench2 | ||
| config | ||
| examples | ||
| gnuplot | ||
| include | ||
| juvix-stdlib@ff6d964320 | ||
| licenses | ||
| runtime | ||
| scripts | ||
| src | ||
| test | ||
| tests | ||
| .clang-format | ||
| .github_changelog_generator | ||
| .gitignore | ||
| .gitmodules | ||
| .hlint.yaml | ||
| .pre-commit-config.yaml | ||
| cabal.hie.yaml | ||
| cabal.project | ||
| cabal.project.freeze | ||
| CHANGELOG.md | ||
| cntlines.sh | ||
| CODING.md | ||
| CONTRIBUTING.md | ||
| justfile | ||
| LICENSE.md | ||
| Makefile | ||
| package.yaml | ||
| README.md | ||
| stack.hie.yaml | ||
| stack.yaml | ||
Juvix
| CI Status |
|---|
|
|
|
|
| Codebase |
|
|
|
This repository is specifically dedicated to the compiler of the Juvix programming language.
For any Juvix-related inquiries, we strongly advise visiting the following resources.
Our documentation offers an in-depth understanding of the Juvix programming language. It encompasses a language reference, examples, blog posts, and numerous other resources to facilitate effective use of Juvix.