Skip to content

scilla_v0.3.0
Compare
Choose a tag to compare
@vaivaswatha vaivaswatha released this 29 Apr 16:08
v0.3.0
f9ebd44
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Infrastructure, testsuite and documentation:

  • Fix opam dependencies (#545)
  • fix contract tests: read output stream in case of expected failure (#502)
  • docs: improve macOS docs (#467, #509)
  • Print coloured diff on testsuite failures (#479)
  • Add a function for fatal errors instead of handling them every where (#497)
  • All errors must be on perr, not pout (#495)
  • Change libdir separator from semicolon to colon (#464)
  • build: use pkg-config from dune (#462)
  • build: add -cclib flags to cpp/dune (#461)
  • Add CODEOWNERS file (#463)

Bug-fixes:

  • Catch exceptions from Yojson.Basic.Util (#544)
  • Fix builtin arithmetic operations (#524)
  • Convert hex message to raw data before signature verification (#523)
  • Add checks for arguments to builtin substr (#525)
  • Fix bug in is_ground_type and add tests. (#481)
  • Fix parsing of standalone expressions and types (#476)
  • Fix free type variables extraction function (#471)
  • Fix parsing of type of Map value (#455)

Language:

  • Add keywords for TRY and CATCH (#543)
  • Disallow special names to be created in a contract (#540)
  • More stable hashing scheme for complex literals (#532)
  • namespaces for Scilla (#526)
  • location reporting in syntax errors (#505)
  • support for scanning init.json for libraries. (#501)
  • External library support for Scilla (#478)
  • Rename library sources to have .scillib extension (#472)
  • Restrict substr arguments to uint32 (#470)
  • ADT is either empty or must have a constructor (#466)

Static Analysis:

  • Gas usage analysis for Scilla (#519)
  • ADT support in cashflow analysis (#480)
  • Warn when important names are shadowed by re-definitions (#530)
  • Unhandled cases in warning against non-inplace map accesses (#520)
  • tags for constructors (#488)
  • Technical updates of Cashflow.ml (#460)

Refactoring and others:

  • Adjust ByStrX and ByStr literals' representations (#535)
  • Print state json on contract creation (#529)
  • Add exists and delete keywords to emacs mode (#518)
  • Handle library dependences in a tree structure (#507)
  • Change builtin rep from string to internal ADT (#486)
  • Improve internal representation of PrimTypes (#469)
  • Added name, symbol, and decimals to fungible-token (#403)
Assets 2
Loading