track range checks

[ohad-starkware]

This change is 

[ohad-starkware]

• track range checks #417 👈 (View in Graphite)
• main

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

[Gali-StarkWare]

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

---

stwo_cairo_prover/crates/prover/src/cairo_air/debug_tools.rs line 18 at r1 (raw file):

use super::air::CairoClaim;
use crate::components::range_check_vector::{
    range_check_12, range_check_18, range_check_3_6, range_check_3_6_6_3,

WDYT about using all of the range checks created by range check vector here?

[ohad-starkware]

Reviewable status: 0 of 1 files reviewed, 1 unresolved discussion (waiting on @Gali-StarkWare and @ohad-starkware)

---

stwo_cairo_prover/crates/prover/src/cairo_air/debug_tools.rs line 18 at r1 (raw file):

Previously, Gali-StarkWare wrote…

WDYT about using all of the range checks created by range check vector here?

Done.

[Gali-StarkWare]

Reviewed 1 of 1 files at r2, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @ohad-starkware)