forked from dfinity/motoko
-
Notifications
You must be signed in to change notification settings - Fork 0
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.
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
[DMS-3,9] Motoko san/arrays #5
Closed
Closed
Commits on Apr 25, 2024
-
motoko-san: Enhance viper macro support
+ support several parameters + support untyped argument e.g. for field_name parameter
Configuration menu - View commit details
-
Copy full SHA for fe9d03d - Browse repository at this point
Copy the full SHA fe9d03dView commit details -
Configuration menu - View commit details
-
Copy full SHA for de64939 - Browse repository at this point
Copy the full SHA de64939View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2e801b2 - Browse repository at this point
Copy the full SHA 2e801b2View commit details -
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)
Configuration menu - View commit details
-
Copy full SHA for 75dccf4 - Browse repository at this point
Copy the full SHA 75dccf4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 168c51d - Browse repository at this point
Copy the full SHA 168c51dView commit details -
Configuration menu - View commit details
-
Copy full SHA for ae2f4e2 - Browse repository at this point
Copy the full SHA ae2f4e2View commit details -
Configuration menu - View commit details
-
Copy full SHA for 70e5d6d - Browse repository at this point
Copy the full SHA 70e5d6dView commit details -
Configuration menu - View commit details
-
Copy full SHA for d2b8e91 - Browse repository at this point
Copy the full SHA d2b8e91View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7e61161 - Browse repository at this point
Copy the full SHA 7e61161View commit details -
Configuration menu - View commit details
-
Copy full SHA for c5992d0 - Browse repository at this point
Copy the full SHA c5992d0View commit details -
Configuration menu - View commit details
-
Copy full SHA for c5e40ac - Browse repository at this point
Copy the full SHA c5e40acView commit details -
motoko-san: refactor assign_stmt
Make it possible to return multiple instructions (for arrays)
Configuration menu - View commit details
-
Copy full SHA for 3b228e0 - Browse repository at this point
Copy the full SHA 3b228e0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1f03d38 - Browse repository at this point
Copy the full SHA 1f03d38View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5fb4f45 - Browse repository at this point
Copy the full SHA 5fb4f45View commit details
Commits on Apr 26, 2024
-
Configuration menu - View commit details
-
Copy full SHA for dbf0fc1 - Browse repository at this point
Copy the full SHA dbf0fc1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7940973 - Browse repository at this point
Copy the full SHA 7940973View commit details
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.