feat: recursion optimizations #1781
Commits on Sep 5, 2024
-
Merge pull request #8 from succinctlabs/tamir/merge-upstream
chore: merge upstream
Commits on Sep 10, 2024
Commits on Sep 13, 2024
-
Merge pull request #15 from succinctlabs/tqn/merge-upstream
chore: merge upstream
Commits on Sep 20, 2024
-
Merge pull request #18 from succinctlabs/kevjue/merge_upstream
chore: merge upstream
Commits on Oct 17, 2024
-
Merge pull request #30 from succinctlabs/tqn/merge-upstream
chore: merge upstream
Commits on Oct 18, 2024
-
Merge pull request #34 from succinctlabs/tamir/dev-10-18
chore: upstream
Commits on Oct 22, 2024
-
Merge pull request #36 from succinctlabs/tamir/update-10-22
chore: bump `dev`
Commits on Oct 28, 2024
Commits on Oct 29, 2024
Commits on Nov 3, 2024
Commits on Nov 4, 2024
-
Merge pull request #54 from succinctlabs/erabinov/merge-upstream
chore: merge upstream
Commits on Nov 5, 2024
-
Merge pull request #58 from succinctlabs/tamir/update-nov-5
chore: update
-
-
Commits on Nov 7, 2024
-
perf: remove proving single proofs (#60)
* working with the 'pass-through' method * cleanup * making clippy happy
Commits on Nov 8, 2024
-
-
perf: drop record in different task (#65)
* drop record span * drop in thread
-
feat: execute mode on
perf(#62)* add execute mode * Update crates/perf/src/main.rs Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> --------- Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Commits on Nov 11, 2024
-
perf: two shapes + shape script (#63)
* working * wip * wip * wip * semi-working shrink * working shrink * added precompile computaitons * slightly better tuned shapes * clippy * working to do no precompile shapes too * docker * switched order of shapes * comments * cached programs * remove singleton proofs from cache * comment out building the chips * pre-dev-merge * refactored max core plus precompile * near final draft * almost there * ready for review
-
-
-