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.2.0 b902226c26

    v7.2.0 Stable

    ghallak released this 2023-06-19 19:21:44 +09:00 | 37 commits to master since this release

    [7.2.0]

    Added

    • Toplevel compile-time constants 
      namespace N =
  let nc = 1
contract C =
  let cc = 2
    • API functions for encoding/decoding Sophia values to/from FATE.

    Removed

    • Remove the mapping from variables to FATE registers from the compilation output.

    Fixed

    • Warning about unused include when there is no include.
    Downloads