2 Commits

Author	SHA1	Message	Date
Jacek Sieka	3547bcc409	chore: assorted bumps ... * fix branch names in gitmodules that were pointing to non-existant branches (allows running `git submodule update --remote` to find out-of-date submodules) * make sure commits from canonical branches are used for submodules * "small" library bumps that deal with small correctness issues, memory leaks, threading fixes and other general performance/bugfixing * metrics: make it work better with multithreading, which makes debugging easier * stew: more compile-time support and an assortment of other fixes * taskpools: block invalid use of GC types at compile time * nimcrypto: accelerated sha2 * upraises: remove submodule	2025-12-11 18:23:00 +01:00
Jaremy Creechley	efd46148b0	Pr add prover benchmark tool (#790) ... * initial setup * reorg * figuring out basic shell commands * benchmarks * benchmarks * Sets up environment for running benchmarks * updates * integrate setup and proving * updates * adding outputs * cleanup * check failure * benchmarks * benchmarks * benchmarks * benchmarks * benchmarks * benchmarks * formatting * fix running larger sizes * use larger ceremony file size * use larger ceremony file size * use larger ceremony file size * restore benchmarks * cleanup * cleanup * cleanup * cleanup * cleanup * cleanup * cleanup * cleanup * cleanup * cleanup * refactor env * refactor env * refactor env * refactor env * refactor env * rename * cleanup * cleanup * cleanup * cleanup * cleanup * cleanup * readme * readme * merge * initial splitout of codex ark prover cli * opts * copying nimcli opts * copying nimcli opts * copying nimcli opts * updating ark cli * updating ark cli * updating ark cli * updating ark cli * updating ark cli * updating ark cli * updating ark cli * updating ark cli * docs * remove file * add param * add benchmarkLoops param * update benchmark formatting * update benchmark formatting * update benchmark formatting * update benchmark formatting * fix naming * fix serde version * Apply suggestions from code review cleanup wording Signed-off-by: Dmitriy Ryajov <dryajov@gmail.com> --------- Signed-off-by: Dmitriy Ryajov <dryajov@gmail.com> Co-authored-by: Dmitriy Ryajov <dryajov@gmail.com>	2024-05-23 09:28:17 -07:00