search

starkware-libs / stwo

Apache License 2.0
224 stars 68 forks source link

Combine eq step constraints into single constraint #799

Closed andrewmilson closed 2 weeks ago

andrewmilson commented 3 weeks ago

This change is Reviewable

andrewmilson commented 3 weeks ago

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

Join @andrewmilson and the rest of your teammates on Graphite Graphite

codecov-commenter commented 3 weeks ago

Codecov Report

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

Project coverage is 92.35%. Comparing base (f16ba08) to head (c3af357). Report is 4 commits behind head on dev.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## dev #799 +/- ## ========================================== + Coverage 92.26% 92.35% +0.09% ========================================== Files 91 91 Lines 12442 12481 +39 Branches 12442 12481 +39 ========================================== + Hits 11479 11527 +48 + Misses 857 848 -9 Partials 106 106 ```

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