Module program

Structs

• Program

Constants

• DEFAULT_MAX_NUM_PUBLIC_VALUES
• DEFAULT_PC_STEP
  We use default PC step of 4 whenever possible for consistency with RISC-V, where 4 comes from the fact that each standard RISC-V instruction is 32-bits = 4 bytes.
• PC_BITS

Functions

• display_program_with_pc