Skip to content

Measuring allocator and span statistics#11

Merged
recmo merged 4 commits intomainfrom
recmo/mem-stats
Apr 3, 2025
Merged

Measuring allocator and span statistics#11
recmo merged 4 commits intomainfrom
recmo/mem-stats

Conversation

@recmo
Copy link
Copy Markdown
Contributor

@recmo recmo commented Apr 3, 2025

No description provided.

@recmo recmo marked this pull request as ready for review April 3, 2025 15:31
@recmo recmo merged commit b8b8eba into main Apr 3, 2025
0 of 2 checks passed
Bisht13 added a commit that referenced this pull request Feb 20, 2026
…cross-evals, PrefixCovector tests

- Remove R1CSSolver trait, convert test_witness_satisfaction to free fn (#3)
- Make w2_layers compression conditional on has_challenges (#4)
- Parallelize cross-evaluation dot products with rayon::join (~12% prove speedup) (#6)
- Add debug_assert in PrefixCovector::accumulate (#11)
- Add PrefixCovector unit tests: size, mle_evaluate, accumulate, prefix=logical (#2)
- Fix clippy: &mut Vec -> &mut [] in solve_witness_vec
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