Skip to content

Improve natspec to work with source verification #191

Closed
Closed
Improve natspec to work with source verification#191
Milestone
contracts-safe-1.2.0
@rmeissner

Description

@rmeissner
rmeissner
opened on Apr 16, 2020

See https://github.com/ethereum/source-verify/ and http://verification.komputing.org/

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions