package archetype

Changelog

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

[0.1.10] - 2019-11-02

Fixed

• Fix why3 generation

[0.1.8] - 2019-10-25

Added

• Add variable declaration var id = val
• Typing for transition entry

Changed

• Update syntax for for and iter loop for : loop i in col do ... done

Removed

• Remove namespace syntax

Fixed

• Improve LIGO generation

[0.1.6] - 2019-10-15

Added

• Add focus property command for vscode extension

Changed

• Update syntax for security predicate arguments

[0.1.5] - 2019-09-28

Added

• Create a share directory for contracts and extensions

Changed

• Update of the archetype syntax
• Fix mlw generation

[0.1.4] - 2019-09-21

Added

• Initial release of Archetype compiler.
• The main example is miles_with_expiration.arl contract.
• For more informations: https://docs.archetype-lang.org