anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-11-10 15:06:54 +03:00
Code Issues Projects Releases Wiki Activity
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.
491 Commits 50 Branches 38 Tags 23 MiB
Haskell 81.8%
Agda 7.4%
Nix 3.7%
Common Lisp 3.5%
Idris 1%
Other 2.5%
3b0cde27bb
Go to file
Jonathan Cubides 3b0cde27bb
Add CLI improvements and shell testing (#131) 
* Remove input file fields from command opts

* [cli] Make version and help commands

* Fix on reviews

* Fixes for dealing with global options inside subcmds

* Fix minijuvix emacs mode and add some instance to GlobalOpts

* Remove unrelated code

* Propagate globals opts in each cmd parser

* Add initial shell tests

* Add test-shell to makefile and CI

* Fix CI: adding .local/bin to PATH

* Fixing CI

* Installing shelltest just before running it

* Install app for shell testing

* Hide global flags after cmd. Fix shell tests accordingly.

* Fixing CI

* Shell test only run on ubuntu for now
2022-06-09 16:36:07 +02:00
.github/workflows Add CLI improvements and shell testing (#131) 2022-06-09 16:36:07 +02:00
app Add CLI improvements and shell testing (#131) 2022-06-09 16:36:07 +02:00
assets add integer and string literals 2022-03-15 12:37:33 +01:00
docs/org Add holes for expressions in function clauses and inference support (#136) 2022-06-01 17:54:53 +02:00
examples/milestone/ValidityPredicates New target syntax and modular VP examples (#92) 2022-05-06 12:45:09 +02:00
minic-runtime Add minic-runtime for linking without libc (#113) 2022-05-19 09:48:23 +02:00
minijuvix-mode Add CLI improvements and shell testing (#131) 2022-06-09 16:36:07 +02:00
minijuvix-stdlib@ad8392f76e [stdlib] update 2022-02-28 18:24:52 +01:00
src/MiniJuvix Add CLI improvements and shell testing (#131) 2022-06-09 16:36:07 +02:00
test 140 Support holes in type signatures (#141) 2022-06-02 13:02:07 +02:00
tests Add CLI improvements and shell testing (#131) 2022-06-09 16:36:07 +02:00
.github_changelog_generator v0.1.3 Update CHANGELOG 2022-05-05 18:37:06 +02:00
.gitignore Revision for package.yaml and minor deletions (#135) 2022-06-01 11:53:06 +02:00
.gitmodules [ CI ] Add Haskell Github Action with Stack test and ormolu check 2022-04-04 15:55:15 +02:00
.hlint.yaml Monomorphization (#70) 2022-05-04 10:50:03 +02:00
.pre-commit-config.yaml Add CLI improvements and shell testing (#131) 2022-06-09 16:36:07 +02:00
.pre-commit-hooks.yaml Add initial documentation (#119) (#120) 2022-05-23 16:20:02 +02:00
book.toml Add initial documentation (#119) (#120) 2022-05-23 16:20:02 +02:00
hie.yaml Generic Errors and refactoring (#123) 2022-05-26 17:52:08 +02:00
LICENSE First commit, initial project template. 2021-09-26 18:59:51 +02:00
Makefile Add CLI improvements and shell testing (#131) 2022-06-09 16:36:07 +02:00
package.yaml Revision for package.yaml and minor deletions (#135) 2022-06-01 11:53:06 +02:00
README.org Add initial documentation (#119) (#120) 2022-05-23 16:20:02 +02:00
stack.yaml Generic Errors and refactoring (#123) 2022-05-26 17:52:08 +02:00

README.org

MiniJuvix

<a href="https://github.com/heliaxdev/minijuvix/blob/main/LICENSE"> <img alt="LICENSE" src="https://img.shields.io/badge/license-GPL--3.0--only-blue.svg" /> </a>

<a href="https://github.com/heliaxdev/MiniJuvix/actions/workflows/ci.yml"> <img alt="CI status" src="https://github.com/heliaxdev/MiniJuvix/actions/workflows/ci.yml/badge.svg" /> </a>

Description

MiniJuvix is a programming language for writing efficient formally-verified validity predicates, which can be deployed to various distributed ledgers. This is software released for experimentation and research purposes only. No warranty is provided or implied.

MiniJuvix addresses many issues that we have experienced while trying to write and deploy decentralized applications present in the ecosystem of smart-contracts:

  • the difficulty of adequate program verification,
  • the ceiling of compositional complexity,
  • the illegibility of execution costs, and
  • the lock-in to particular backends.

Quick Start

To install MiniJuvix, you can download its sources using Git from the Github repository. Then, the program can be downloaded and installed with the following commands. You will need to have Stack installed.

git clone https://github.com/heliaxdev/minijuvix.git
cd minijuvix
stack install

If the installation succeeds, you must be able to run the minijuvix command from any location. To get the complete list of commands, please run minijuvix --help.

Usage Example

In the following example a MiniJuvix file is compiled using the C backend. The result is compiled to WASM using Clang and then executed using wasmer.

NB: Set the WASI_SYSROOT_PATH environment variable to the root of the WASI sysroot. See Dependencies for instructions on how to install the sysroot.

cd tests/positive/MiniC/HelloWorld
minijuvix minic Input.mjuvix | clang --target=wasm32-wasi -nodefaultlibs -lc --sysroot $WASI_SYSROOT_PATH -I../../../../minic-runtime/libc -x c - -o out.wasm && wasmer out.wasm
hello world!

Other Documentation

Developer Tooling

Community

We would love to hear what you think of MiniJuvix! Join us on Discord