[1.2.2] - 2021-03-09

Added

• records shaping with as
• add parameter
• add left and right shift operators (<<| and |>>)
• add divmod and three-way comparison operators (resp. EDIV and COMPARE in michelson)
• add Unit literal

Changed

• handle decimal for percent and currency literals
• getter send transferred (AMOUNT) instead of 0tz

Removed

• Execution language target (LIGO, SmartPy and Scaml)
• head_tail (replace by match ... with ... end)

[1.2.1] - 2020-10-01

Added

• Add contract metadata tzip-16 (https://gitlab.com/tzip/tzip/-/blob/master/proposals/tzip-16/tzip-16.md)

[1.2.0] - 2020-09-15

Added

• Michelson backend
• specification declaration for asset, variable, entry and function
• fails section in specification declaration
• xor operator
• head_tail and reverse builtin functions for list
• getter entry

Changed

• remove set_ and map_ prefix for container builtins
• replace entrysig by contract

[1.1.2] - 2020-08-13

Changed

• Refactoring of whyml generation

[1.1.1] - 2020-08-11

Added

• in require and failif section, add custom failed with respectivelly otherwise and with
• to_string convert argument to a string (only avalaible for nat type for now)

Changed

• fail can take any type argument
• dorequire and dofailif take two arguments, the second is for fail

[1.1.0] - 2020-08-05

Added

• chain_id constant
• union inter and diff operator for view in formula
• multi-keys asset : identified by can take several field name
• nat type (comparison and arithmetic operations)
• support for entrypoints with entrysig type, entrypoint function and transfer with entrysig and self
• map and set containers
• record structure

Removed

• contract declaration

Changed

• syntax of composite type (i.e. list<string> instead of string list)
• rational are mapped to int * nat

Fixed

• caller as asset key in initialized by section

[1.0.0] - 2020-06-27

Added

• Introduce container_kind in model
• pack, unpack functions
• removeif for collection, aggregate and partition

Changed

• Replace collection by aggregate
• Replace list by set container for asset container fields (Aggregate | Partition).
• Rename action by entry

0.1.14

[0.1.14] - 2020-04-25

Added

• Crypto functions
• slice, concat and length functions
• isnone, issome, getopt option functions
• floor and ceil functions
• add percent literal

Update

• Remove key asset for execution generation
• Mlw support for new view type

0.1.13

[0.1.13] - 2020-03-05

Added

• Contract calls
• Handle rational type
• Handle date and duration type
• Add list container
• Add print-type-contract command (-ptc)
• Add addupdate method for asset
• Add bytes type

Changed

• Add guard condition in Add and UpdateAdd api storage
• Syntax : add identifier on signature of contract argument
• Refactor and update syntax for transition
• Verification api for asset
• Syntax : extension arguments are enclosed by parentheses

0.1.12

[0.1.12] - 2020-01-09

Added

• Add Scaml output

Changed

• Syntax : add ':' between identifier and type in declaration id : type (instead of id1 type1)
• Syntax : add ',' between arguments in funciton (id1 : type1, id2 : type2) (instead of (id1 : type1) (id2 : type2))
• Accept transfer is enable by default (use refuse transfer to disable it)