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

Cairo ASM language and interpreter #2572

Merged
merged 26 commits into from
Jan 12, 2024
Merged

Cairo ASM language and interpreter #2572

merged 26 commits into from
Jan 12, 2024

Conversation

lukaszcz
Copy link
Collaborator

@lukaszcz lukaszcz commented Jan 2, 2024 •
edited
Loading

  • Closes Cairo ASM language and interpreter #2561
  • Defines an extended subset of Cairo Assembly, following Section 5 of [1].
  • Adds the commands juvix dev casm read file.casm and juvix dev casm run file.casm to print and run *.casm files.
  • The tests cover CASM semantics. Some are "manual translations" of corresponding JuvixAsm tests according to the JuvixAsm -> CASM compilation concept.

@lukaszcz lukaszcz added the cairo label Jan 2, 2024
@lukaszcz lukaszcz added this to the 0.6.0 milestone Jan 2, 2024
@lukaszcz lukaszcz self-assigned this Jan 2, 2024
@lukaszcz lukaszcz marked this pull request as ready for review January 9, 2024 18:01
@paulcadman paulcadman merged commit fa2a731 into main Jan 12, 2024
4 checks passed
@paulcadman paulcadman deleted the cairo branch January 12, 2024 11:57
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

@janmasrovira janmasrovira Awaiting requested review from janmasrovira

Assignees

@lukaszcz lukaszcz

Labels
cairo
Projects
None yet
Milestone
0.6.0
Development

Successfully merging this pull request may close these issues.

Cairo ASM language and interpreter
2 participants
@lukaszcz @paulcadman