Add a benchmark/profiler to count cycles in demo-prover#577
Merged
dubbelosix merged 51 commits intonightlyfrom dub/prover_benchAug 16, 2023
+2,746-147
Commits
Commits on Jul 7, 2023
- committed
dubbelosix
Commits on Jul 10, 2023
- committeddubbelosix
Commits on Jul 11, 2023
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
Commits on Jul 13, 2023
- committeddubbelosix
Commits on Jul 20, 2023
- committeddubbelosix
Commits on Jul 26, 2023
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
Commits on Jul 27, 2023
- committeddubbelosix
- committeddubbelosix
Commits on Jul 28, 2023
- committeddubbelosix
- committeddubbelosix
Commits on Jul 31, 2023
- committeddubbelosix
Commits on Aug 1, 2023
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
Commits on Aug 2, 2023
- committeddubbelosix
Commits on Aug 3, 2023
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
Commits on Aug 4, 2023
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
Commits on Aug 10, 2023
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
Commits on Aug 11, 2023
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
Commits on Aug 14, 2023
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
Commits on Aug 16, 2023
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix
- committeddubbelosix