We are pleased to announce the initial beta release of the Michelson decompiler. The purpose is to decompile any contract to Archetype in order to know what a contract does.

Example​

Consider the following mainnet contract KT1Ly9NLfDb2DESnysqfQpAaB3r9x497TZoY whose code is reproduced below:

We are very glad to present version 1.5.0 of Archetype.

Added​

Debugger​

A debugger for the Archetype language is now available as part of the Archetype extension for VSCode.

It provides step by step entrypoint execution.

Below is a debug session of the transfer entrypoint from the FA 1.2 contract:

We present version 1.4.3 of Archetype language.

Added​

Functions​

Functions can now have side effects on storage. For example, it is now valid to write:

archetype function_side_effect

variable res : nat = 0

function set_res(v : nat) {
  res := v
}

entry exec(value : nat) { set_res(value) }

We present version 1.4.2 of Archetype language.

Added​

Contract import​

It is now possible to use types and entrypoints' signature declared in another archetype contract with the import declaration.

It is also now possible to originate a contract from an Archetype source with create_contract builtin.

We are glad to present the new contract binding generation in TypeScript language. We consider this as a major improvement in the way we are working with Archetype and Michelson contracts.

Completium CLI now provides a simple command to generate the TypeScript binding:

completium-cli generate binding-ts mycontract.arl > mycontract.ts

We present version 1.3.2 of Archetype language.

Added​

We present version 1.3.1 of Archetype language.

Added​

We present new version 1.3.0 of Archetype language.

We present a change in version 1.3.0 of the evaluation process of boolean operators and and or in test expression of the if instruction and expression.

Consider the following if instruction:

if a and b then
 /* */
end

We present an improvement in the way assets data are accessed in version 1.3.0.

Problems​

Until this version, the only way to access an asset data was the field accessor operator of the form A[k].f, where A is the asset collection, k the asset key and f the asset field.