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
javascript1
$ 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
- 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