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

Verify lookups. #675

Merged
merged 1 commit into from
Jul 11, 2024
Merged

Verify lookups. #675

merged 1 commit into from
Jul 11, 2024

Conversation

alonh5
Copy link
Contributor

@alonh5 alonh5 commented Jun 24, 2024

This change is Reviewable

Copy link
Contributor Author

alonh5 commented Jun 24, 2024

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

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

@codecov-commenter
Copy link

codecov-commenter commented Jun 24, 2024

Codecov Report

Attention: Patch coverage is 0% with 4 lines in your changes missing coverage. Please review.

Project coverage is 90.49%. Comparing base (496323f) to head (d15ad54).

Files Patch % Lines
crates/prover/src/core/prover/mod.rs 0.00% 3 Missing and 1 partial ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##              dev     #675      +/-   ##
==========================================
- Coverage   90.52%   90.49%   -0.04%     
==========================================
  Files          76       76              
  Lines       10165    10169       +4     
  Branches    10165    10169       +4     
==========================================
  Hits         9202     9202              
- Misses        881      884       +3     
- Partials       82       83       +1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@alonh5 alonh5 force-pushed the 06-23-merge_trace_writer_and_trace_generator branch from f3e308f to c629f7d Compare June 25, 2024 08:38
@alonh5 alonh5 force-pushed the 06-23-merge_trace_writer_and_trace_generator branch from c629f7d to f39cfea Compare June 26, 2024 10:24
@alonh5 alonh5 force-pushed the 06-23-merge_trace_writer_and_trace_generator branch 2 times, most recently from 3aa5079 to 673b1b3 Compare June 27, 2024 11:43
@alonh5 alonh5 force-pushed the 06-24-verify_lookups branch 2 times, most recently from 8629004 to 12ad169 Compare June 27, 2024 11:49
@alonh5 alonh5 force-pushed the 06-23-merge_trace_writer_and_trace_generator branch from 673b1b3 to 50be746 Compare June 30, 2024 08:32
@alonh5 alonh5 force-pushed the 06-24-verify_lookups branch 2 times, most recently from 03d31a3 to ad99893 Compare June 30, 2024 09:00
@alonh5 alonh5 force-pushed the 06-23-merge_trace_writer_and_trace_generator branch from 50be746 to ca2c907 Compare July 1, 2024 10:48
@alonh5 alonh5 force-pushed the 06-23-merge_trace_writer_and_trace_generator branch from ca2c907 to 2f0aac7 Compare July 1, 2024 11:10
@alonh5 alonh5 force-pushed the 06-24-verify_lookups branch 2 times, most recently from 40d43f0 to e8048c4 Compare July 1, 2024 11:18
@alonh5 alonh5 force-pushed the 06-23-merge_trace_writer_and_trace_generator branch from 2f0aac7 to 0d56bd7 Compare July 2, 2024 12:58
@alonh5 alonh5 force-pushed the 06-23-merge_trace_writer_and_trace_generator branch from 0d56bd7 to 93dd654 Compare July 3, 2024 07:49
@alonh5 alonh5 force-pushed the 06-23-merge_trace_writer_and_trace_generator branch from 93dd654 to f8d5799 Compare July 8, 2024 07:32
@alonh5 alonh5 force-pushed the 06-23-merge_trace_writer_and_trace_generator branch from f8d5799 to 9bb7d3a Compare July 8, 2024 08:07
@alonh5 alonh5 force-pushed the 06-23-merge_trace_writer_and_trace_generator branch from 9bb7d3a to 4e36e51 Compare July 8, 2024 10:30
@alonh5 alonh5 force-pushed the 06-23-merge_trace_writer_and_trace_generator branch from 4e36e51 to ddf0fe6 Compare July 8, 2024 11:00
@alonh5 alonh5 force-pushed the 06-23-merge_trace_writer_and_trace_generator branch from ddf0fe6 to 2ce2998 Compare July 8, 2024 11:06
@alonh5 alonh5 force-pushed the 06-24-verify_lookups branch 2 times, most recently from 1468ea2 to 2d03eb2 Compare July 8, 2024 11:39
@alonh5 alonh5 changed the base branch from 06-23-merge_trace_writer_and_trace_generator to dev July 8, 2024 11:39
@alonh5 alonh5 force-pushed the 06-24-verify_lookups branch 2 times, most recently from f759f41 to 555732f Compare July 9, 2024 11:54
Copy link
Contributor

@spapinistarkware spapinistarkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Implement only on Air, not on components

Reviewed all commit messages.
Reviewable status: 0 of 8 files reviewed, all discussions resolved (waiting on @andrewmilson and @shaharsamocha7)

Copy link
Contributor Author

@alonh5 alonh5 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Done.

Reviewable status: 0 of 8 files reviewed, all discussions resolved (waiting on @andrewmilson and @shaharsamocha7)

Copy link
Contributor

@spapinistarkware spapinistarkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:lgtm:

Reviewed 8 of 9 files at r4, all commit messages.
Reviewable status: 8 of 9 files reviewed, all discussions resolved (waiting on @andrewmilson and @shaharsamocha7)

Copy link
Contributor Author

@alonh5 alonh5 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed 1 of 9 files at r4.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @andrewmilson and @shaharsamocha7)

@alonh5 alonh5 merged commit 7fdbdf2 into dev Jul 11, 2024
14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants