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

WAVM to .wat #197

Merged
merged 16 commits into from
Jan 18, 2024
Merged

WAVM to .wat #197

merged 16 commits into from
Jan 18, 2024

Conversation

joshuacolvin0
Copy link
Member

No description provided.

@cla-bot cla-bot bot added the s label Jan 13, 2024
@joshuacolvin0 joshuacolvin0 marked this pull request as ready for review January 17, 2024 20:04
joshuacolvin0
joshuacolvin0 commented Jan 18, 2024
View reviewed changes
Copy link
Member Author

@joshuacolvin0 joshuacolvin0 left a comment

Choose a reason for hiding this comment

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

LGTM

@rachel-bousfield rachel-bousfield changed the title Start tool for pretty printing WAVM code WAVM to .wat Jan 18, 2024
rachel-bousfield
rachel-bousfield approved these changes Jan 18, 2024
View reviewed changes
Copy link
Contributor

@rachel-bousfield rachel-bousfield left a comment

Choose a reason for hiding this comment

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

Made some low-risk changes. LGTM!

@rachel-bousfield rachel-bousfield merged commit 56f978e into stylus Jan 18, 2024
8 checks passed
@rachel-bousfield rachel-bousfield deleted the print-wavm branch January 18, 2024 08:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@rachel-bousfield rachel-bousfield rachel-bousfield approved these changes

Assignees
No one assigned
Labels
s
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@joshuacolvin0 @rachel-bousfield