Giters
SoftwareFoundationGroupAtKyotoU
/
icon-why3
why3 plugin for icon project
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
Watchers:
8
Issues:
7
Forks:
4
SoftwareFoundationGroupAtKyotoU/icon-why3 Issues
Add axiom among known contract's addresses
Updated
3 months ago
[@gen_wf] attribute in Preamble does not work
Closed
3 months ago
Enable pre-conditions refer to a step constant and a gparam
Closed
3 months ago
Support the CREATE_CONTRACT operation
Updated
4 months ago
Add lambda type
Updated
4 months ago
Distinguish address and contract type
Updated
4 months ago
Move entrypoint information from gparam to address of a Xfer operation
Updated
4 months ago