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

[DMS-3,9] Motoko san/arrays #5

Closed
wants to merge 16 commits into from
Closed

[DMS-3,9] Motoko san/arrays #5

wants to merge 16 commits into from

Commits on Apr 25, 2024

  1. motoko-san: Enhance viper macro support 

    + support several parameters
+ support untyped argument e.g. for field_name parameter
    @GoPavel
    GoPavel committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    fe9d03d View commit details
    Browse the repository at this point in the history

  2. motoko-san: add ArrayT into viper

    @GoPavel
    GoPavel committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    de64939 View commit details
    Browse the repository at this point in the history

  3. motoko-san: support build-in prelude in viper

    @GoPavel
    GoPavel committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    2e801b2 View commit details
    Browse the repository at this point in the history

  4. motoko-san: refactor dec_field 

    problem: currently dec_field is not translating init expression and field
permission, which make hard extending it for arrays.

solution: move generating init and perms into function dec_field (renamed to
unit_decl because contains not only field e.g. functions as well)
    @GoPavel
    GoPavel committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    75dccf4 View commit details
    Browse the repository at this point in the history

  5. motoko-san: support translation of arrays

    @GoPavel
    GoPavel committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    168c51d View commit details
    Browse the repository at this point in the history

  6. motoko-san: add infering permition of function arguments

    @GoPavel
    GoPavel committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    ae2f4e2 View commit details
    Browse the repository at this point in the history

  7. motoko-san: add test for arrays + viper lib

    @GoPavel
    GoPavel committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    70e5d6d View commit details
    Browse the repository at this point in the history

  8. squash! motoko-san: add test for arrays + viper lib

    @GoPavel
    GoPavel committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    d2b8e91 View commit details
    Browse the repository at this point in the history

  9. fixup: cleanup comments

    @GoPavel
    GoPavel committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    7e61161 View commit details
    Browse the repository at this point in the history

  10. fixup! motoko-san: support build-in prelude in viper

    @GoPavel
    GoPavel committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    c5992d0 View commit details
    Browse the repository at this point in the history

  11. motoko-san: support array.size()

    @GoPavel
    GoPavel committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    c5e40ac View commit details
    Browse the repository at this point in the history

  12. motoko-san: refactor assign_stmt 

    Make it possible to return multiple instructions (for arrays)
    @GoPavel
    GoPavel committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    3b228e0 View commit details
    Browse the repository at this point in the history

  13. fixup: refactor array assignment

    @GoPavel
    GoPavel committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    1f03d38 View commit details
    Browse the repository at this point in the history

  14. fixup! motoko-san: add test for arrays + viper lib

    @GoPavel
    GoPavel committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    5fb4f45 View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2024

  1. fixup! motoko-san: add test for arrays + viper lib

    @GoPavel
    GoPavel committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    dbf0fc1 View commit details
    Browse the repository at this point in the history

  2. fixup! motoko-san: add test for arrays + viper lib

    @GoPavel
    GoPavel committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    7940973 View commit details
    Browse the repository at this point in the history