Skip to content

Version 1.057
Compare
Choose a tag to compare
@mebsout mebsout released this 23 Jun 14:19
· 201 commits to next since this release
v1.057
2bc601d

NEW FEATURES

  • Estimate fees and storage (burn) in Client
  • Fee code (only Dune Network)
  • Decompilation of Michelson fee code
  • Allow lambdas in constants
  • GPL license
  • Uncurrying of totally applied functions

IMPROVEMENTS

  • Updated documentation
  • Switch to Dune Network backend
  • Remove unecessary type annotation in decompiled Liquidity
  • Generate contracts whose parameter is compatible with upcoming version of Michelson
  • Client update wrt. Tezos protocol
  • Bytes.pack is polymorphic
  • Better simplifications
  • Better error reporting
  • Inlining of closures and constants
  • Better name/strucuture recovery when decompiling
  • Debug information with --verbose

BUG FIXES

  • Fix scoping bug in inlining
  • Don't use _ as a variable name when decompiling
  • Fix conflicts in internal names with multiple contracts
  • Decompilation of failing branches
  • Restriction on timestamp operations
  • Occur check with physiscal equality (in inlining phase)
  • Monomorphisation global values/variables
  • Dependencies when using sub-contract as main (#201)
  • Fix issue in decompilation of sub-contracts
  • Fix namespace for first class contract types (#202)
  • Fix issue in monomophisation
  • Normalize types wrt current namesapce (#197)
  • Fix issue with module and contract aliases
Assets 2
Loading