juvix/scripts/run_cairo_vm.sh

#!/usr/bin/env bash

BASE=`basename "$1" .json`

cairo-vm-cli "$1" --print_output --proof_mode --trace_file ${BASE}.trace --air_public_input=${BASE}_public_input.json --air_private_input=${BASE}_private_input.json --memory_file=${BASE}_memory.mem --layout=small
CASM serialization (#2679) * Closes #2563 Checklist ------------ - [x] Serialization of the Haskell CASM representation to the JSON format accepted by the Cairo VM. - [x] Add the `cairo` target to the `compile` commands. - [x] Output via the Cairo `output` builtin. - [x] Relativize jumps. Cairo VM doesn't actually support absolute jumps. - [x] Test the translation from CASM to Cairo by running the output in the Cairo VM - [x] Add Cairo VM to the CI 2024-03-26 19:18:52 +03:00			`#!/usr/bin/env bash`

			BASE=`basename "$1" .json`

			`cairo-vm-cli "$1" --print_output --proof_mode --trace_file ${BASE}.trace --air_public_input=${BASE}_public_input.json --air_private_input=${BASE}_private_input.json --memory_file=${BASE}_memory.mem --layout=small`