-
Couldn't load subscription status.
- Fork 3
Fix AllocRefValue
#773
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
Fix AllocRefValue
#773
Conversation
| metadata=Metadata( | ||
| size=metadata_size, | ||
| pointer_offset=0, | ||
| origin_size=metadata_size, | ||
| ), |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I made this assumption based on the previous version of AllocRevValue.to_kast(), I don't know if it makes sense though.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think this makes sense, when we decode we won't ever have an offset, and the origin_size should be the same as the size field IIUC.
| metadata=Metadata( | ||
| size=actual_size, | ||
| pointer_offset=0, | ||
| origin_size=actual_size, | ||
| ), |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Same here.
| class NoMetadata(MetadataSize): | ||
| def to_kast(self) -> KInner: | ||
| return KApply('noMetadata') | ||
| return KApply('noMetadataSize') |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thank you for changing this! I encountered a problem when running spl-token proof because of this.
9ee78e1 to
89d4136
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM! I want to merge it to continue the spl proof.
89d4136 to
fd0250e
Compare
Blocked on: * ~#773~
No description provided.