Skip to content

Refactor: collapsing algorithm interaction based #35

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

Open
wants to merge 16 commits into
base: main
Choose a base branch
from

Conversation

Lorenzobattistela
Copy link
Contributor

This PR refactors the collapsing algorithm to follow the one implemented in HVM-Nano and keep it in parity. It is significantly simpler and easy to understand.

For now this is a WIP because it misses some constructors that HVM-Nano does not have, but I opened the PR so if Victor wants to test stuff quickly, it's already there for programs that are equivalent in HVM-Nano (they're compatible).

@Lorenzobattistela Lorenzobattistela force-pushed the collapser branch 2 times, most recently from 23d936e to f389e0f Compare March 19, 2025 22:25
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