Skip to content

Comprehensive Documentation of Contract Usage #2747

Open
Feature
Open
Comprehensive Documentation of Contract Usage#2747
Feature
Assignees
feliperodri
Labels
Z-ContractsIssue related to code contracts[C] Feature / EnhancementA new feature request or enhancement to an existing feature.
Milestone
Contracts

Description

@JustusAdam
JustusAdam
opened on Sep 7, 2023

There should be an example driven documentation of how contracts are to be used that we can link to from e.g. the requires, ensures, stub_verified, proof_for_contract attribute documentation.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

Z-ContractsIssue related to code contracts[C] Feature / EnhancementA new feature request or enhancement to an existing feature.

Type

Feature

Projects

No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions