github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-04-20 03:03:25 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
executor-trace-handler
powdr/openvm/scripts/basic_metrics.py
Georg Wiese f4345b5304 Improve basic metrics summary (#3203) 
Adds `app_proof_cols` and `total_proof_time_ms` columns to the result
CSV.
2025-08-21 14:09:12 +00:00

3.8 KiB
Raw Permalink Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink