QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

16 Releases 29 Tags

RSS Feed
  • v7.1.0 311bf49505

    v7.1.0 Stable

    zxq9 released this 2023-02-24 17:40:06 +09:00 | 44 commits to master since this release

    [7.1.0]

    Added

    • Options to enable/disable certain optimizations.
    • The ability to call a different instance of the current contract 
      contract Main =
  entrypoint spend(x : int) : int = x
  entrypoint f(c : Main) : int = c.spend(10)
    • Return a mapping from variables to FATE registers in the compilation output.
    • Hole expression.

    Changed

    • Type definitions serialised to ACI as typedefs field instead of type_defs to increase compatibility.
    • Check contracts and entrypoints modifiers when implementing interfaces.
    • Contracts can no longer be used as namespaces.
    • Do not show unused stateful warning for functions that call other contracts with a non-zero value argument.

    Fixed

    • Typechecker crashes if Chain.create or Chain.clone are used without arguments.
    Downloads