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.

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

feat(rpc): python llvm_alloc_global equiv (alloc_global) #1517

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

pnwamk
Copy link
Contributor

@pnwamk pnwamk commented Nov 18, 2021

No description provided.

Copy link
Contributor

@RyanGlScott RyanGlScott left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That was much easier than I expected!

@@ -110,7 +111,8 @@ instance FromJSON ty => FromJSON (ContractVar ty) where
instance (FromJSON ty, FromJSON e) => FromJSON (Contract ty e) where
parseJSON =
withObject "contract" $ \o ->
Contract <$> o .: "pre vars"
Contract <$> o .: "mutable globals"
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Mention this new capability of the remote API in the SAW changelog.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ah, good call.

Copy link
Contributor

@m-yac m-yac left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM aside from the two comments!

g = x;
}

uint32_t get() {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should there also be a test for this function in test_llvm_global_mutable.py?

@robdockins robdockins self-assigned this Apr 14, 2022
@robdockins robdockins removed their assignment Jul 6, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants