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

Integrate single step #2338

Draft
wants to merge 41 commits into
base: main
Choose a base branch
from
Draft

Integrate single step #2338

wants to merge 41 commits into from

Conversation

chriseth
Copy link
Member

No description provided.

Copy link

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

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

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Benchmarks'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: 84fa507 Previous: 6f1ba0a Ratio
evaluator-benchmark/std::math::ff::inverse 8273 ns/iter (± 8) 6888 ns/iter (± 3) 1.20
evaluator-benchmark/std::math::ff::reduce 795 ns/iter (± 1) 580 ns/iter (± 0) 1.37
evaluator-benchmark/std::math::ff::mul 1416 ns/iter (± 1) 1066 ns/iter (± 1) 1.33
evaluator-benchmark/sqrt_879882356 37021 ns/iter (± 38) 29140 ns/iter (± 18) 1.27
evaluator-benchmark/sqrt_1882356 30901 ns/iter (± 19) 24439 ns/iter (± 16) 1.26
evaluator-benchmark/sqrt_1187956 30797 ns/iter (± 24) 24325 ns/iter (± 15) 1.27
evaluator-benchmark/sqrt_56 21465 ns/iter (± 12) 17220 ns/iter (± 10) 1.25
evaluator-benchmark/sort_33 960460 ns/iter (± 853) 784871 ns/iter (± 1704) 1.22
evaluator-benchmark/sort_100 3312250 ns/iter (± 3169) 2725199 ns/iter (± 4536) 1.22
evaluator-benchmark/sort_300 11519760 ns/iter (± 13908) 9491790 ns/iter (± 36783) 1.21

This comment was automatically generated by workflow using github-action-benchmark.

@chriseth chriseth force-pushed the integrate_single_step branch 7 times, most recently from 02f203d to 2a59ead Compare January 20, 2025 10:41
@chriseth chriseth force-pushed the integrate_single_step branch from 2a59ead to 20cba4f Compare January 20, 2025 15:04
@chriseth
Copy link
Member Author

It seems that connections whose selector is known to be zero are not considered completed.

Main::is_arith 2 Main::b Main::c
??? ??? ???
";
Main::is_arith $ [ Main::a, Main::b, Main::c ]
Copy link
Member Author

Choose a reason for hiding this comment

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

Not really sure why this is now indented.

Copy link
Member Author

Choose a reason for hiding this comment

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

Ah, I used the same code as we have for the block machine, where it is indented as well.

fn compute_last_row<Q: QueryCallback<T>>(&mut self, mutable_state: &MutableState<'a, T, Q>) {
assert_eq!(self.data.len() as DegreeType, self.degree - 1);

// TODO combine with compute_first_two_rows
Copy link
Member Author

Choose a reason for hiding this comment

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

todo

github-merge-queue bot pushed a commit that referenced this pull request Jan 24, 2025
Refactoring extracted out of #2338
@chriseth chriseth marked this pull request as ready for review January 27, 2025 11:06
@chriseth
Copy link
Member Author

TODO: Record code derivation properly once #2415 is merged.

@chriseth chriseth marked this pull request as draft January 30, 2025 15:31
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.

1 participant