Usage

Command-line

To transcode an archetype file escrow.arl to michelson:
1
$ completium-cli generate michelson escrow.arl
Copied!
To transcode to whyml:
1
$ completium-cli generate whyml escrow.arl
Copied!
To transcode to javascript
1
$ completium-cli generate javascript escrow.arl
Copied!
The generated javascript provides the Michelson (Json) version of the contract code and storage.

VS code extension

The archetype extension provides:
  • syntax highlighting
  • LSP support
  • transcoding commands
The archetype extension provides commands to compile to Michelson, and to launch the why3 IDE for verification:
Last modified 3mo ago
Export as PDF
Copy link
Edit on GitHub