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

Type check transaction role declarations #2257

Merged
merged 33 commits into from
Jan 24, 2023
Merged

Type check transaction role declarations #2257

merged 33 commits into from
Jan 24, 2023

Commits on Jan 11, 2023

  1. parse access modifier for transaction fields, report error in checker… 

    …. simplify transaction checking
    @turbolent
    turbolent committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    38a92a3 View commit details
    Browse the repository at this point in the history

  2. parse transaction role fields using transaction fields parser

    @turbolent
    turbolent committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    6317884 View commit details
    Browse the repository at this point in the history

  3. improve naming

    @turbolent
    turbolent committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    394ff6e View commit details
    Browse the repository at this point in the history

  4. generalize prepare function checking

    @turbolent
    turbolent committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    593b9e9 View commit details
    Browse the repository at this point in the history

  5. add transaction role type

    @turbolent
    turbolent committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    1273482 View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2023

  1. declare transaction roles in transaction type

    @turbolent
    turbolent committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    3ef4ec4 View commit details
    Browse the repository at this point in the history

  2. test transaction roles

    @turbolent
    turbolent committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    b561386 View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2023

  1. Merge branch 'bastian/extended-transaction-format' into bastian/exten… 

    …ded-transaction-format-2
    @turbolent
    turbolent committed Jan 17, 2023
    Configuration menu
    Copy the full SHA
    6143f4b View commit details
    Browse the repository at this point in the history

  2. allow visiting transaction role declarations

    @turbolent
    turbolent committed Jan 17, 2023
    Configuration menu
    Copy the full SHA
    11dac16 View commit details
    Browse the repository at this point in the history

  3. store transaction role types in elaboration

    @turbolent
    turbolent committed Jan 17, 2023
    Configuration menu
    Copy the full SHA
    71ba55d View commit details
    Browse the repository at this point in the history

  4. simplify container type

    @turbolent
    turbolent committed Jan 17, 2023
    Configuration menu
    Copy the full SHA
    3a999f8 View commit details
    Browse the repository at this point in the history

  5. check transaction roles

    @turbolent
    turbolent committed Jan 17, 2023
    Configuration menu
    Copy the full SHA
    a462223 View commit details
    Browse the repository at this point in the history

  6. test declaration of transaction roles as members of transaction

    @turbolent
    turbolent committed Jan 17, 2023
    Configuration menu
    Copy the full SHA
    2951125 View commit details
    Browse the repository at this point in the history

  7. extend test case to check for multiple roles

    @turbolent
    turbolent committed Jan 17, 2023
    Configuration menu
    Copy the full SHA
    85ece62 View commit details
    Browse the repository at this point in the history

  8. report invalid moves of transaction roles

    @turbolent
    turbolent committed Jan 17, 2023
    Configuration menu
    Copy the full SHA
    c142f71 View commit details
    Browse the repository at this point in the history

Commits on Jan 18, 2023

  1. test transaction role prepare parameters have AuthAccount type

    @turbolent
    turbolent committed Jan 18, 2023
    Configuration menu
    Copy the full SHA
    01e00b8 View commit details
    Browse the repository at this point in the history

  2. change names

    @turbolent
    turbolent committed Jan 18, 2023
    Configuration menu
    Copy the full SHA
    557080c View commit details
    Browse the repository at this point in the history

  3. refactor repeated names into constants

    @turbolent
    turbolent committed Jan 18, 2023
    Configuration menu
    Copy the full SHA
    a5ca45a View commit details
    Browse the repository at this point in the history

  4. add error note to indicate previous field declaration

    @turbolent
    turbolent committed Jan 18, 2023
    Configuration menu
    Copy the full SHA
    abf74c3 View commit details
    Browse the repository at this point in the history

  5. simplify getting field declaration of transaction declaration

    @turbolent
    turbolent committed Jan 18, 2023
    Configuration menu
    Copy the full SHA
    f2396c7 View commit details
    Browse the repository at this point in the history

  6. add helper function to get field members

    @turbolent
    turbolent committed Jan 18, 2023
    Configuration menu
    Copy the full SHA
    ea61344 View commit details
    Browse the repository at this point in the history

  7. report invalid move of transaction role-typed values. requires checki… 

    …ng member expressions
    @turbolent
    turbolent committed Jan 18, 2023
    Configuration menu
    Copy the full SHA
    c768ac4 View commit details
    Browse the repository at this point in the history

  8. still declare members

    @turbolent
    turbolent committed Jan 18, 2023
    Configuration menu
    Copy the full SHA
    1490851 View commit details
    Browse the repository at this point in the history

  9. fix test, test role

    @turbolent
    turbolent committed Jan 18, 2023
    Configuration menu
    Copy the full SHA
    a0fa0f4 View commit details
    Browse the repository at this point in the history

  10. test transaction parameter usage in transaction role

    @turbolent
    turbolent committed Jan 18, 2023
    Configuration menu
    Copy the full SHA
    40873ef View commit details
    Browse the repository at this point in the history

  11. check prepare parameter lists match, create prepare functions types o… 

    …nly if needed
    @turbolent
    turbolent committed Jan 18, 2023
    Configuration menu
    Copy the full SHA
    17610f2 View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2023

  1. lint

    @turbolent
    turbolent committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    babfa48 View commit details
    Browse the repository at this point in the history

Commits on Jan 20, 2023

  1. test role with prepare and no prepare in transaction

    @turbolent
    turbolent committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    d1de556 View commit details
    Browse the repository at this point in the history

Commits on Jan 23, 2023

  1. only keep local set of roles

    @turbolent
    turbolent committed Jan 23, 2023
    Configuration menu
    Copy the full SHA
    67c6922 View commit details
    Browse the repository at this point in the history

  2. simplify role / field clash detection

    @turbolent
    turbolent committed Jan 23, 2023
    Configuration menu
    Copy the full SHA
    170f96a View commit details
    Browse the repository at this point in the history

  3. simplify role duplication / field clash

    @turbolent
    turbolent committed Jan 23, 2023
    Configuration menu
    Copy the full SHA
    20d5044 View commit details
    Browse the repository at this point in the history

  4. improve invalid value move tests

    @turbolent
    turbolent committed Jan 23, 2023
    Configuration menu
    Copy the full SHA
    36f2848 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2023

  1. check declaration kind instead of type

    @turbolent
    turbolent committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    bb6beba View commit details
    Browse the repository at this point in the history