Getting started

Installation

Archetype compiler comes with the Completium CLI :
1
npm i @completium/completium-cli -g
2
completium-cli init
Copied!
To know the current version of Archetype:
1
completium-cli archetype version
Copied!
The current version is 1.2.9.

Binaries

Linux and Mac OS binaries are available:

VS code extension installation

Archetype also comes with the Archetype VS code extension:

Verification tools

Archetype generates Why3 file format (mlw) for contract verification purpose.
Follow instructions on the page below to install Why3 and solvers (Alt-Ergo, CVC4, Z3):
Last modified 3mo ago