• v6.0.0 Stable

    zxq9 released this 2021-05-26 20:06:56 +09:00 | 146 commits to master since this release

    Added

    • Child contracts
    • Chain.clone
    • Chain.create
    • Chain.bytecode_hash
    • Minor support for variadic functions
    • void type that represents an empty type
    • Call.fee builtin

    Changed

    • Contract interfaces must be now invocated by contract interface keywords
    • main keyword to indicate the main contract in case there are child contracts around
    • List.sum and List.product no longer use List.foldl

    Removed

    Downloads
  • v5.0.0 Stable

    zxq9 released this 2021-04-30 22:17:48 +09:00 | 152 commits to master since this release

    Version 5.0.0 of the Sophia compiler produces code for FATE v2/Iris (and for supported instructions will also produce code for the deprecated AEVM)

    Added

    • A new and improved String standard library
      has been added. Use it by include "String.aes". It includes functions for
      turning strings into lists of characters for detailed manipulation. For
      example:

      include "String.aes"
      contract C =
        entrypoint filter_all_a(s: string) : string =
          String.from_list(List.filter((c : char) => c != 'a', String.to_list(s)))
      

      will return a list with all a's removed.

      There are also convenience functions split, concat, to_upper,
      to_lower, etc.

      All String functions in FATEv2 operate on unicode code points.

    • Operations for pairing-based cryptography has been added the operations
      are in the standard library BLS12_381.
      With these operations it is possible to do Zero Knowledge-proofs, etc.
      The operations are for the BLS12-381 curve (as the name suggests).

    • Calls to functions in other contracts (i.e. remote calls) can now be
      protected.
      If a contract call fails for any reason (for instance, the remote contract
      crashes or runs out of gas, or the entrypoint doesn't exist or has the
      wrong type) the parent call also fails. To make it possible to recover
      from failures, contract calls takes a named argument protected : bool
      (default false).

      If protected = true the result of the contract call is wrapped in an
      option, and Some(value) indicates a succesful execution and None
      indicates that the contract call failed. Note: any gas consumed until
      the failure is still charged, but all side effects in the remote
      contract are rolled back on failure.

    • A new chain operation AENS.update
      is supported.

    • New chain exploring operations AENS.lookup and Oracle.expiry to
      look up an AENS record and the expiry of an Oracle respectively, are added.

    • Transaction introspection (Auth.tx) has been added. When a Generalized
      account is authorized, the authorization function needs access to the
      transaction (and the transaction hash) for the wrapped transaction. The
      transaction and the transaction hash is available Auth.tx, it is only
      available during authentication if invoked by a normal contract call
      it returns None. Example:

      switch(Auth.tx)
        None      => abort("Not in Auth context")
        Some(tx0) =>
          switch(tx0.tx)
            Chain.SpendTx(_, amount, _)  => amount > 400
            Chain.ContractCallTx(_, _)   => true
            _                            => false
      
    • A debug mode is a added to the compiler. Right now its only use is to
      turn off hermetization.

    Changed

    • The function Chain.block_hash(height) is now (in FATEv2) defined for
      the current height - this used to be an error.
    • Standard library: Sort is optimized to do mergesort and a contains
      function is added.
    • Improved type errors and explicit errors for some syntax errors (empty code
      blocks, etc.).
    • Compiler optimization: The ACI is generated alongside bytecode. This means
      that multiple compiler passes can be avoided.
    • Compiler optimization: Improved parsing (less stack used when transpiled).
    • A bug where constraints were handled out of order fixed.
    • Fixed calldata decoding for singleton records.
    • Improved the documentation w.r.t. signatures, especially stressing the fact that
      the network ID is a part of what is signed.
    Downloads
  • v4.3.0 Stable

    zxq9 released this 2020-04-02 22:10:53 +09:00 | 251 commits to master since this release

    Added

    • Added documentation (moved from protocol)
    • Frac.aes – library for rational numbers
    • Added some more meaningful error messages
    • Exported several parsing functionalities
    • With option keep_included it is possible to see which files were included during the parse
    • There is a function run_parser that be used to evaluate any parsing rule
    • Exported parsers: body, type and decl

    Changed

    • Performance improvements in the standard library
    • Fixed ACI encoder to handle - unary operator
    • Fixed including by absolute path
    • Fixed variant type printing in the ACI error messages
    • Fixed pretty printing of combined function clauses

    Removed

    • let definitions are no longer supported in the toplevel of the contract
    • type declarations are no longer supported
    Downloads
  • v4.2.0 Stable

    zxq9 released this 2020-01-15 19:58:47 +09:00 | 263 commits to master since this release

    Added

    • Allow separate entrypoint/function type signature and definition, and pattern
      matching in left-hand sides:
        function
          length : list('a) => int
          length([])      = 0
          length(x :: xs) = 1 + length(xs)
      
    • Allow pattern matching in list comprehension generators (filtering out match
      failures):
        function somes(xs : list(option('a))) : list('a) =
          [ x | Some(x) <- xs ]
      
    • Allow pattern matching in let-bindings (aborting on match failures):
        function test(m : map(int, int)) =
            let Some(x) = Map.lookup(m, 0)
            x
      

    Changed

    • FATE code generator improvements.
    • Bug fix: Handle qualified constructors in patterns.
    • Bug fix: Allow switching also on negative numbers.
    Downloads
  • v4.1.0 Stable

    zxq9 released this 2019-11-26 17:02:56 +09:00 | 295 commits to master since this release

    Added

    • Support encoding and decoding bit fields in call arguments and results.

    Changed

    • Various improvements to FATE code generator.

    Removed

    Downloads
  • Sophia - Roma Stable

    zxq9 released this 2019-01-31 17:51:56 +09:00 | 835 commits to master since this release

    The purpose of this release is to provide a standalone compiler - corresponding to the compiler that is provided in the latest ROMA release of the aeternity node.

    NOTE: The main usage of this at this point is for regression testing in aeternity/aeternity project.

    Downloads