package archetype
Archetype language compiler
Install
Dune Dependency
Authors
Maintainers
Sources
0.1.9.tar.gz
md5=782ed3e1654b365f057923e2b16bb72c
sha512=0aaab9dc0d99da509ab729077088f7cad0629abba7d66036908855bfaaa215ff2f6bc92095acf09dcdbedbb2e5abae85b60652a262c139326b04c90dd14266d1
CHANGES.md.html
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.9] - 2019-11-01
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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>