type conversion (#880)

[ohad-starkware]

type conversion (#880)

Co-Authored-By: ilyalesokhin-starkware ilya@starkware.co

Rename Constant trace -> Preprocessed trace. (#881)

Remove unused mutability. (#885)

Added LogupAtRow functionality to EvalAtRow. (#875)

Avoid filtering out unused columns. (#886)

The prover does not filter them out.

Abstracted eval.write_fracs to eval.add_to_relations. (#876)

Initialize logups automatically when first used. (#879)

Formal Expr logup variables. (#887)

Expr formatting. (#888)

State machine constraint string. (#889)

Separated Xor table types. (#883)

Remove redundant collect in framework. (#896)

Add arithmetic op counts to InfoEvaluator (#832)

Make CommitmentSchemeProver::prove_values take ownership (#852)

Add gen_preprocessed_columns. (#891)

Added total_ and claimed_sums as formal variables in ExprEvaluator. (#892)

SIMD backend for poseidon252 merkle ops - CPU IMPL

[reviewable-StarkWare]

This change is 

[ohad-starkware]

• #900 👈 (View in Graphite)
• dev

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

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 91.83%. Comparing base (6de095b) to head (740381c).

Additional details and impacted files

```diff @@ Coverage Diff @@ ## dev #900 +/- ## ======================================= Coverage 91.83% 91.83% ======================================= Files 93 93 Lines 13339 13339 Branches 13339 13339 ======================================= Hits 12250 12250 Misses 972 972 Partials 117 117 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

---

🚨 Try these New Features:

• Flaky Tests Detection - Detect and resolve failed and flaky tests