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

Prover/Adding Initial Compiler for Permutation Query #386

Merged

Conversation

arijitdutta67
Copy link
Contributor

@arijitdutta67 arijitdutta67 commented Dec 3, 2024

This PR implements issue(s) #383

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.

@arijitdutta67 arijitdutta67 added enhancement New feature or request Prover Tag to use for all work impacting the prover labels Dec 3, 2024
@arijitdutta67 arijitdutta67 self-assigned this Dec 3, 2024
@arijitdutta67 arijitdutta67 linked an issue Dec 3, 2024 that may be closed by this pull request
@codecov-commenter
Copy link

codecov-commenter commented Dec 3, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 70.17%. Comparing base (22ada9a) to head (28ac18c).

Additional details and impacted files
@@                       Coverage Diff                        @@
##             prover/limitless-top-level     #386      +/-   ##
================================================================
- Coverage                         70.18%   70.17%   -0.01%     
  Complexity                         1070     1070              
================================================================
  Files                               306      306              
  Lines                             12338    12337       -1     
  Branches                           1179     1179              
================================================================
- Hits                               8659     8658       -1     
  Misses                             3200     3200              
  Partials                            479      479              
Flag Coverage Δ *Carryforward flag
hardhat 98.70% <ø> (-0.01%) ⬇️
kotlin 67.86% <ø> (ø) Carriedforward from 2bea593

*This pull request uses carry forward flags. Click here to find out more.

see 1 file with indirect coverage changes

@Soleimani193 Soleimani193 force-pushed the prover/limitless-top-level branch from 16fbcd9 to 2cae000 Compare December 6, 2024 09:28
@Soleimani193 Soleimani193 force-pushed the prover/limitless-top-level branch from 3cec11b to 08b8b32 Compare December 6, 2024 14:01
@arijitdutta67 arijitdutta67 marked this pull request as ready for review December 19, 2024 11:23
@AlexandreBelling AlexandreBelling merged commit a8ff658 into prover/limitless-top-level Dec 20, 2024
15 of 16 checks passed
@AlexandreBelling AlexandreBelling deleted the prover/permutation-initial-wizard branch December 20, 2024 12:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request Prover Tag to use for all work impacting the prover
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Prover/Prepare the Initial Wizard for the Permutation Query
4 participants