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

16 Releases 29 Tags

RSS Feed
  • v4.3.0 962ddf5303

    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