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

Avoid duplication in Nockma code generation #3070

Merged
merged 20 commits into from
Oct 8, 2024
Merged

Avoid duplication in Nockma code generation #3070

merged 20 commits into from
Oct 8, 2024

Conversation

lukaszcz
Copy link
Collaborator

@lukaszcz lukaszcz commented Sep 27, 2024 •
edited
Loading

  • Closes Nockma compilation: arguments to some operations still get duplicated #3013
  • Removes all remaining problems with evaluation duplication that could potentially lead to an exponential blow-up in the running time.
  • Adds the capacity to generate saves of temporary values in the Nock code generation backend.
  • Removes the TempHeight transformation on JuvixTree. It is no longer needed.
  • Removes the ComputeCaseANF transformation on JuvixCore from the Anoma pipeline. It is no longer necessary.

@lukaszcz lukaszcz added this to the 0.6.7 milestone Sep 27, 2024
@lukaszcz lukaszcz self-assigned this Sep 27, 2024
@lukaszcz lukaszcz force-pushed the nockma-no-duplication branch 2 times, most recently from 5ad7595 to d6d9b9f Compare October 1, 2024 14:15
@lukaszcz lukaszcz marked this pull request as ready for review October 4, 2024 17:06
@lukaszcz lukaszcz marked this pull request as draft October 5, 2024 17:44
@lukaszcz lukaszcz marked this pull request as ready for review October 7, 2024 13:49
@lukaszcz lukaszcz merged commit a3bfaca into main Oct 8, 2024
4 checks passed
@lukaszcz lukaszcz deleted the nockma-no-duplication branch October 8, 2024 08:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@paulcadman paulcadman paulcadman approved these changes

Assignees

@lukaszcz lukaszcz

Labels
anoma backend:nockma fix:bug nock
Projects
None yet
Milestone
0.6.7
Development

Successfully merging this pull request may close these issues.

Nockma compilation: arguments to some operations still get duplicated
2 participants
@lukaszcz @paulcadman