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

Merged rules #116

Draft
wants to merge 13 commits into
base: master
Choose a base branch
from
Draft

Merged rules #116

wants to merge 13 commits into from

Conversation

hjorthjort
Copy link
Contributor

This set of rules were generated before we added the new sequencing rules to KWasm. So they may not be representative anymore. But here is what they look like after a little bit of cleanup. Included is a list of the necessary massaging changes.

@hjorthjort
Copy link
Contributor Author

Run ./search.py show-merged to get a printed trace of the merged rules that get used, and their line numbers in the kwasm-polkadot-host.md file.

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