Skip to content

[spec] Add missing side condition on growtable/memory#2108

Open
rossberg wants to merge 1 commit intomainfrom
fix.grow
Open

[spec] Add missing side condition on growtable/memory#2108
rossberg wants to merge 1 commit intomainfrom
fix.grow

Conversation

@rossberg
Copy link
Member

This adds back missing side conditions to check against the max table/memory size allowed per address type.

@f52985, I'm again seeing interpreter failures that I don't understand. The PR just adds simple arithmetic side conditions, but I get type mismatches for them. Can you please have a look?

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.

1 participant