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

Post stack-machine removal cleanups #819

Closed
Robbepop opened this issue Dec 1, 2023 · 0 comments · Fixed by #820
Closed

Post stack-machine removal cleanups #819

Robbepop opened this issue Dec 1, 2023 · 0 comments · Fixed by #820
Assignees
@Robbepop
Labels
cleanup Cleans up some region of the codebase. tech-debt An issue to resolve some technical debt.

Comments

@Robbepop
Copy link
Member

Robbepop commented Dec 1, 2023

After removal of the entire stack-machine wasmi engine in #818 it is now time to clean up the mess that it left behind.
Generally we want to get rid of the regmach submodule in the engine module and perform some renamings of identifiers that are possible after no differentiation of engine backend has to be made anymore.
@Robbepop Robbepop added cleanup Cleans up some region of the codebase. tech-debt An issue to resolve some technical debt. labels Dec 1, 2023
@Robbepop Robbepop self-assigned this Dec 1, 2023
@Robbepop Robbepop mentioned this issue Dec 2, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Robbepop Robbepop

Labels
cleanup Cleans up some region of the codebase. tech-debt An issue to resolve some technical debt.
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Post stack-machine wasmi engine backend removal cleanup wasmi-labs/wasmi
1 participant
@Robbepop