Skip to content

Version 0.32
Compare
Choose a tag to compare
@mebsout mebsout released this 11 Jul 09:51
· 559 commits to next since this release
v0.32
fc67d31

NEW FEATURES

  • Compatibility with Tezos's Betanet
  • New calling convention, Contract.transfer returns an operations
    which has to be returned
  • Current.failwith : 'a -> 'b, instead of fail
  • Type bytes, and 0xab... bytes constants
  • Bytes.pack, Bytes.unpack
  • Type address
  • Contract and address constants (KT1..., tz...)
  • Type big_map, and constants BigMap [...], and BigMap.find,
    BigMap.add, BigMap.remove, BigMap.update
  • New compilation of Map/Set/List.map
  • New instruction Map/Set/List.map_fold
  • Current.self renamed to Contract.self
  • New functions Crypto.blake2b/sha256/sha512 instead of Crypto.hash
  • Current.sender
  • Remove Contract.manager
  • (Contract.at : p contract option)

IMPROVEMENTS

  • Better locations reporting
  • Show runtime failures source locations
  • Light type inferrence in specific places
  • Unary negation on int and tez
  • Somewhat better error messages
  • Compile with OCaml 4.06.1
  • Better decompilation naming heuristic

BUG FIXES

  • Fix issue with decompiling multiple nested failing branches
  • Fix issue with decompilation of ITER
  • Fix some incorrect peephole optimizations
  • Reject maps and sets with non comparable keys
Assets 4
Loading