TODO

[liorgold2]

Stack:

• TODO #5880 ⬅
• Internal audit changes. #5876

⚠️ Part of a stack created by spr. Do not merge manually using the UI - doing so may have unexpected results.

---

This change is 

[orizi]

Reviewable status: 0 of 4 files reviewed, 1 unresolved discussion (waiting on @liorgold2)

---

crates/cairo-lang-sierra/src/extensions/modules/circuit.rs line 581 at r1 (raw file):

    type Concrete = ConcreteU96LimbsLessThanGuarantee;
    // Shortened name to fit in the 23 bytes limit.
    // TODO: Rename to U96LimbsLtGuarantee (small `t`).

Done.

[orizi]

Reviewable status: 0 of 4 files reviewed, 5 unresolved discussions (waiting on @liorgold2)

---

crates/cairo-lang-sierra/src/extensions/modules/circuit.rs line 944 at r1 (raw file):

                    vars: vec![
                        OutputVarInfo::new_builtin(add_mod_builtin_ty.clone(), 0),
                        // TODO: `new_builtin` uses `AddConst`.

Done.

---

crates/cairo-lang-sierra/src/extensions/modules/circuit.rs line 961 at r1 (raw file):

                    vars: vec![
                        OutputVarInfo::new_builtin(add_mod_builtin_ty, 0),
                        // TODO: `new_builtin` uses `AddConst`.

Done.

---

crates/cairo-lang-sierra/src/extensions/modules/circuit.rs line 1047 at r1 (raw file):

    ) -> Result<LibfuncSignature, SpecializationError> {
        let (circ_ty, _output_ty) = args_as_two_types(args)?;
        // TODO: check that `output_ty` is a valid output type.

Done.

---

crates/cairo-lang-sierra/src/extensions/modules/circuit.rs line 1108 at r1 (raw file):

        let one = bounded_int_ty(context, BigInt::one(), BigInt::one())?;

        // TODO: Use `new_builtin()` for the builtins.

@ilyalesokhin-starkware - I don't see this fix.