Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support for user-defined preconditions #662

Draft
wants to merge 28 commits into
base: master
Choose a base branch
from
Draft

Support for user-defined preconditions #662

wants to merge 28 commits into from

Commits on Jul 2, 2024

  1. First draft for precondition parsing

    @palinatolmach
    palinatolmach committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    44c6e7d View commit details
    Browse the repository at this point in the history

  2. Set Version: 0.1.332

    devops committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    5049c82 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into natspec-precondition

    @palinatolmach
    palinatolmach committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    37aa648 View commit details
    Browse the repository at this point in the history

  4. Fixing some code quality issues

    @palinatolmach
    palinatolmach committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    b024611 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2024

  1. Merge branch 'master' into natspec-precondition

    @palinatolmach
    palinatolmach committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    339b8f8 View commit details
    Browse the repository at this point in the history

  2. Set Version: 0.1.334

    devops committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    d92e45c View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2024

  1. Merge branch 'master' into natspec-precondition

    @palinatolmach
    palinatolmach committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    d4ba930 View commit details
    Browse the repository at this point in the history

  2. Set Version: 0.1.341

    devops committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    be44d64 View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2024

  1. Merge branch 'master' into natspec-precondition

    @palinatolmach
    palinatolmach committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    685771b View commit details
    Browse the repository at this point in the history

  2. Set Version: 0.1.345

    devops committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    b66afd8 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2024

  1. Merge branch 'master' into natspec-precondition

    @palinatolmach
    palinatolmach committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    faefd9e View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2024

  1. Merge branch 'master' into natspec-precondition

    @palinatolmach
    palinatolmach committed Jul 31, 2024
    Configuration menu
    Copy the full SHA
    b8090a6 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2024

  1. Init antlr4 grammar for parsing annotations

    @palinatolmach
    palinatolmach committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    200c627 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into natspec-precondition

    @palinatolmach
    palinatolmach committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    8d1130a View commit details
    Browse the repository at this point in the history

  3. Update poetry.lock, silence mypy warnings

    @palinatolmach
    palinatolmach committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    ce6ae3d View commit details
    Browse the repository at this point in the history

  4. Add a simple precondition test

    @palinatolmach
    palinatolmach committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    5444f37 View commit details
    Browse the repository at this point in the history

  5. More code quality fixes

    @palinatolmach
    palinatolmach committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    3d54e0d View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2024

  1. Minor comment cleanup

    @palinatolmach
    palinatolmach committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    a49c2fa View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2024

  1. Merge branch 'master' into natspec-precondition

    @palinatolmach
    palinatolmach committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    8561233 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2024

  1. Merge branch 'master' into natspec-precondition

    @palinatolmach
    palinatolmach committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    2e9ae80 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into natspec-precondition

    @palinatolmach
    palinatolmach committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    f389f89 View commit details
    Browse the repository at this point in the history

  3. Updated grammar to include contractName.varName; moved annotation p… 

    …rocessing to `_create_cse_accounts`
    @palinatolmach
    palinatolmach committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    efdbded View commit details
    Browse the repository at this point in the history

  4. Support contractName.variableName constraints

    @palinatolmach
    palinatolmach committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    94c4873 View commit details
    Browse the repository at this point in the history

  5. Added support for ** and a few more arithmetic ops

    @palinatolmach
    palinatolmach committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    92326a7 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2024

  1. Merge branch 'master' into natspec-precondition

    @palinatolmach
    palinatolmach committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    656f213 View commit details
    Browse the repository at this point in the history

  2. poetry lock update

    @palinatolmach
    palinatolmach committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    f0c310b View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into natspec-precondition

    @palinatolmach
    palinatolmach committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    fbc481c View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2024

  1. Merge branch 'master' into natspec-precondition

    @palinatolmach
    palinatolmach committed Aug 11, 2024
    Configuration menu
    Copy the full SHA
    76e9428 View commit details
    Browse the repository at this point in the history