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

Minimum viable type validation #403

Merged
merged 15 commits into from
Jul 17, 2020
Merged

Minimum viable type validation #403

merged 15 commits into from
Jul 17, 2020

Commits on Jul 17, 2020

  1. Prefix "type" variables with kind in parse_expr 

    Co-authored-by: Andrei Maiboroda <andrei@ethereum.org>
    @axic @gumb0
    axic and gumb0 committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    79f0a41 View commit details
    Browse the repository at this point in the history

  2. Use LocalIdx and GlobalIdx extensively 

    Co-authored-by: Andrei Maiboroda <andrei@ethereum.org>
    @axic @gumb0
    axic and gumb0 committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    5efd41d View commit details
    Browse the repository at this point in the history

  3. Add instruction type table

    @gumb0
    gumb0 committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    2dd49a1 View commit details
    Browse the repository at this point in the history

  4. Validate types of non-polymorphic instructions and call instructions

    @gumb0
    gumb0 committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    bba27ca View commit details
    Browse the repository at this point in the history

  5. Validate stack types for local instructions

    @gumb0
    gumb0 committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    73a1c24 View commit details
    Browse the repository at this point in the history

  6. Validate stack types for global instructions

    @gumb0
    gumb0 committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    37f6540 View commit details
    Browse the repository at this point in the history

  7. Remove ControlFrame::stack_height

    @gumb0
    gumb0 committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    fdda407 View commit details
    Browse the repository at this point in the history

  8. test: fix unit tests with type mismatch

    @gumb0
    gumb0 committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    8eba0d9 View commit details
    Browse the repository at this point in the history

  9. test: fix unit tests with incorrect local count

    @gumb0
    gumb0 committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    5dc5ba9 View commit details
    Browse the repository at this point in the history

  10. ci: Update spectest expectations

    @gumb0
    gumb0 committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    8bfcf78 View commit details
    Browse the repository at this point in the history

  11. test: type validation tests for calls

    @gumb0
    gumb0 committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    ef5b852 View commit details
    Browse the repository at this point in the history

  12. test: type validation tests for non-polymorphic instructions

    @gumb0
    gumb0 committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    85be095 View commit details
    Browse the repository at this point in the history

  13. test: type validation for local instructions

    @gumb0
    gumb0 committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    925c82c View commit details
    Browse the repository at this point in the history

  14. test: type validation for global instructions

    @gumb0
    gumb0 committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    61b58c0 View commit details
    Browse the repository at this point in the history

  15. test: validate number of arguments for select

    @gumb0
    gumb0 committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    7beb186 View commit details
    Browse the repository at this point in the history