Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fixed the bug in PolyEval #214

Merged
merged 4 commits into from
Oct 22, 2024
Merged

Conversation

Soleimani193
Copy link
Contributor

@Soleimani193 Soleimani193 commented Oct 21, 2024

This PR solves issue #192 for the case of PolyEval over Product and also PolyEval over PolyEval happening in the inner-product compiler and selfrecursion. For the product operator Product.Evaluate() outputs *Pooled type that was not supported as input to PolyEval.

close #192

Checklist

  • I wrote new tests for my new core changes.
  • I have successfully ran tests, style checker and build against my new changes locally.
  • I have informed the team of any breaking changes if there are any.

@Soleimani193 Soleimani193 self-assigned this Oct 21, 2024
@Soleimani193 Soleimani193 added the Prover Tag to use for all work impacting the prover label Oct 21, 2024
@codecov-commenter
Copy link

codecov-commenter commented Oct 21, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 70.57%. Comparing base (333bc77) to head (489f52e).
Report is 1 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff            @@
##               main     #214   +/-   ##
=========================================
  Coverage     70.57%   70.57%           
  Complexity     1059     1059           
=========================================
  Files           291      291           
  Lines         11960    11960           
  Branches       1103     1103           
=========================================
  Hits           8441     8441           
  Misses         3039     3039           
  Partials        480      480           
Flag Coverage Δ
hardhat 98.67% <ø> (ø)
kotlin 68.26% <ø> (ø)

@Soleimani193 Soleimani193 marked this pull request as ready for review October 21, 2024 13:12
@Soleimani193 Soleimani193 removed the request for review from AlexandreBelling October 21, 2024 14:05
@Soleimani193 Soleimani193 changed the title smartvector-type for product fixed the bug in PolyEval Oct 21, 2024
gusiri
gusiri previously approved these changes Oct 21, 2024
@Soleimani193 Soleimani193 enabled auto-merge (squash) October 21, 2024 14:57
@Soleimani193 Soleimani193 merged commit 303e581 into main Oct 22, 2024
12 of 13 checks passed
@Soleimani193 Soleimani193 deleted the prover/fix-PolyEval-over-Product branch October 22, 2024 07:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Prover Tag to use for all work impacting the prover
Projects
None yet
Development

Successfully merging this pull request may close these issues.

bug in genrating Random Linear Combination of expressions and extracting the assignment.
5 participants