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

CASM serialization #2679

Merged
merged 36 commits into from
Mar 26, 2024
Merged

CASM serialization #2679

merged 36 commits into from
Mar 26, 2024

Conversation

lukaszcz
Copy link
Collaborator

@lukaszcz lukaszcz commented Mar 4, 2024 •
edited
Loading

Checklist

  • Serialization of the Haskell CASM representation to the JSON format accepted by the Cairo VM.
  • Add the cairo target to the compile commands.
  • Output via the Cairo output builtin.
  • Relativize jumps. Cairo VM doesn't actually support absolute jumps.
  • Test the translation from CASM to Cairo by running the output in the Cairo VM
  • Add Cairo VM to the CI

@lukaszcz lukaszcz added the cairo label Mar 4, 2024
@lukaszcz lukaszcz self-assigned this Mar 4, 2024
@lukaszcz lukaszcz added this to the 0.6.1 milestone Mar 4, 2024
This was referenced Mar 9, 2024
Closed
Closed
@lukaszcz lukaszcz mentioned this pull request Mar 20, 2024
Merged
4 tasks
@lukaszcz lukaszcz force-pushed the casm-to-cairo branch 4 times, most recently from a9a7180 to e418f91 Compare March 21, 2024 13:07
@lukaszcz lukaszcz marked this pull request as ready for review March 21, 2024 13:07
janmasrovira
janmasrovira reviewed Mar 25, 2024
View reviewed changes
scripts/gen_stone_params.py Outdated Show resolved Hide resolved
scripts/run_cairo_vm.sh Outdated Show resolved Hide resolved
scripts/run_stone_prover.sh Outdated Show resolved Hide resolved
src/Juvix/Compiler/Backend/Cairo/Extra/Serialization.hs Show resolved Hide resolved
src/Juvix/Compiler/Backend/Cairo/Translation/FromCasm.hs Show resolved Hide resolved
src/Juvix/Compiler/Backend/Cairo/Translation/FromCasm.hs Outdated Show resolved Hide resolved
src/Juvix/Compiler/Backend/Cairo/Translation/FromCasm.hs Outdated Show resolved Hide resolved
src/Juvix/Compiler/Backend/Cairo/Translation/FromCasm.hs Outdated Show resolved Hide resolved
src/Juvix/Compiler/Backend/Cairo/Translation/FromCasm.hs Outdated Show resolved Hide resolved
src/Juvix/Compiler/Casm/Pretty/Base.hs Show resolved Hide resolved
@lukaszcz lukaszcz modified the milestones: 0.6.1, 0.6.2 Mar 25, 2024
@lukaszcz lukaszcz merged commit 7d559b1 into main Mar 26, 2024
4 checks passed
@lukaszcz lukaszcz deleted the casm-to-cairo branch March 26, 2024 16:18
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
Projects
None yet
Milestone
0.6.2
Development

Successfully merging this pull request may close these issues.

Serialize Cairo ASM
2 participants
@lukaszcz @janmasrovira