mirror of
https://github.com/anoma/juvix.git
synced 2024-10-26 17:52:17 +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.
1777251fde
This PR updates the version of `cargo-risczero` in the CI. Ultimately, we should figure out how to properly pin a fixed version, but apparently that's not easy - it seems some dependencies need to be pinned and it's not clear which ones, how, and to which versions. The problem is that to execute the Rust code generated for RISC0 we need to compile it, and the generated code depends on some RISC0-related libraries. Having the correct version of the RISC0 Rust toolchain installed locally doesn't fully solve the problem (doesn't seem to automatically select the right versions of dependencies). |
||
|---|---|---|
| .devcontainer | ||
| .github | ||
| app | ||
| assets | ||
| bench | ||
| bench2 | ||
| examples | ||
| gnuplot | ||
| include | ||
| juvix-stdlib@216cb609cb | ||
| 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 | ||
| 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.