migrated opcodes air out of cairo air

[ohad-starkware]

This change is 

[ohad-starkware]

• tracking relations #229 : 2 dependent PRs (#231 , #233 )
• call #222
• is first and row bounds relaxations #228
• jump #221
• add opcode #220
• mul #219
• assert gen #218
• jnz gen #217
• migrated opcodes air out of cairo air #216 👈 (View in Graphite)
• add_ap components #215
• update verify generic and ret from auto gen #214
• snake case generic and verify #209
• renamed relations #208
• pub use for memory and range checks #207
• renamed memory components #206
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[shaharsamocha7]

Reviewed 4 of 4 files at r2, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @ohad-starkware)

---

stwo_cairo_prover/crates/prover/src/input/vm_import/mod.rs line 51 at r2 (raw file):

    let mut mem_file = std::io::BufReader::new(std::fs::File::open(mem_path)?);
    let mut mem = MemoryBuilder::from_iter(mem_config, MemEntryIter(&mut mem_file));
    let state_transitions = StateTransitions::from_iter(TraceIter(&mut trace_file), &mut mem, true);

how did it work if it was set to false?

Code quote:

, true

[ohad-starkware]

Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @shaharsamocha7)

---

stwo_cairo_prover/crates/prover/src/input/vm_import/mod.rs line 51 at r2 (raw file):

Previously, shaharsamocha7 wrote…

how did it work if it was set to false?

the test that takes casm doesnt pass here
and the other tests are ignored

[ohad-starkware]

Merge activity

• Dec 3, 6:55 AM EST: A user started a stack merge that includes this pull request via Graphite.
• Dec 3, 7:03 AM EST: Graphite rebased this pull request as part of a merge.
• Dec 3, 7:06 AM EST: A user merged this pull request with Graphite.

[shaharsamocha7]

Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @ohad-starkware)