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

JuvixReg to CASM translation #2671

Merged
merged 27 commits into from
Mar 20, 2024
Merged

JuvixReg to CASM translation #2671

merged 27 commits into from
Mar 20, 2024

Conversation

lukaszcz
Copy link
Collaborator

@lukaszcz lukaszcz commented Feb 23, 2024 •
edited
Loading

Checklist

  • Translation from JuvixReg to CASM
  • CASM runtime
  • Juvix to CASM pipeline: combine the right transformations and check prerequisites
  • CLI commands: add target casm to the compile commands
  • Tests:
    • Test the translation from JuvixReg to CASM
    • Test the entire pipeline from Juvix to CASM

@lukaszcz lukaszcz added the cairo label Feb 23, 2024
@lukaszcz lukaszcz added this to the 0.6.0 milestone Feb 23, 2024
@lukaszcz lukaszcz self-assigned this Feb 23, 2024
@lukaszcz lukaszcz force-pushed the reg-to-casm branch 2 times, most recently from 4ad195f to 96e9eff Compare March 1, 2024 09:48
@lukaszcz lukaszcz marked this pull request as ready for review March 1, 2024 17:22
@lukaszcz lukaszcz mentioned this pull request Mar 4, 2024
Merged
6 tasks
@jonaprieto jonaprieto modified the milestones: 0.6.0, 0.6.1 Mar 9, 2024
@lukaszcz lukaszcz merged commit 0f713c7 into main Mar 20, 2024
4 checks passed
@lukaszcz lukaszcz deleted the reg-to-casm branch March 20, 2024 11:14
@paulcadman paulcadman added the enhancement New feature or request label Mar 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@janmasrovira janmasrovira janmasrovira approved these changes

@paulcadman paulcadman Awaiting requested review from paulcadman

Assignees

@lukaszcz lukaszcz

Labels
cairo enhancement New feature or request
Projects
None yet
Milestone
0.6.1
Development

Successfully merging this pull request may close these issues.

Translation from JuvixReg to Cairo ASM
4 participants
@lukaszcz @janmasrovira @paulcadman @jonaprieto