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

[Cider 2] Misc fixes + fud2 integration #2054

Merged
merged 10 commits into from
May 24, 2024
Merged

Conversation

EclecticGriffin
Copy link
Collaborator

Part of #2044 which adds a basic fud2 flow for Cider 2, named interp-flat.

Also some minor tweaks to make the code a little nicer in a few places. I need to go implement with before I can get much of the test suite hooked up, since nearly all the test suite programs use it in some capacity

@EclecticGriffin EclecticGriffin merged commit deee510 into main May 24, 2024
18 checks passed
@EclecticGriffin EclecticGriffin deleted the cider2/misc-fixes branch May 24, 2024 16:45
jiahanxie353 pushed a commit to jiahanxie353/calyx that referenced this pull request May 29, 2024
* Refactor program counter to avoid `std::mem::take`

* add a helper method

* Refactor code to use `lookup_string` method for retrieving names in the environment

* Refactor code to use `lookup_string` method for retrieving names in the environment

* Minor tweak

* stab at fud2 integration

* bump MSRVs to make clippy stop bugging me

* my life is a never ending litany of suffering

* snapshotsssss

* more snappéd shots
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.

None yet

1 participant