Comparing
adam/picus-2
(2911ae8
) withmain
(1f2817f
)+41%
- Improvement
- 3
- Untouched
- 10
Benchmarks
13 total
erasure_encode[10]
benches/bench_main.rs::primitives+41%
303.9 ms215.4 ms
erasure_encode[1024]
benches/bench_main.rs::primitives+36%
357.2 ms263.6 ms
file_preparation[10]
benches/bench_main.rs+31%
383.1 ms292.1 ms
verify_challenges[100]
benches/bench_main.rs::verification+4%
292.6 ms280.3 ms
file_preparation[1024]
benches/bench_main.rs+2%
8.8 s8.6 s
prove[(1024, 1, 10)]
benches/bench_main.rs::proving+1%
16.8 s16.7 s
prove[(10, 1, 10)]
benches/bench_main.rs::proving+1%
15.4 s15.3 s
prove[(10, 2, 10)]
benches/bench_main.rs::proving+1%
18.8 s18.7 s
prove[(1024, 2, 10)]
benches/bench_main.rs::proving0%
26 s25.9 s
poseidon_hash
benches/bench_main.rs::primitives0%
128.3 µs127.8 µs
merkle_build[1024]
benches/bench_main.rs::primitives0%
131.3 ms131.2 ms
merkle_build[16]
benches/bench_main.rs::primitives0%
1.9 ms1.9 ms
verify_challenges[2]
benches/bench_main.rs::verification0%
275.5 ms276 ms
Commits
Click on a commit to change the comparison rangeBase
main
1f2817f
+0.16%
formal: suppress clippy too-many-arguments on synthesis helpers
1c8f3f0
2 months ago
by adamkrellenstein+1.11%
chore: satisfy clippy style checks for formal mutant paths
3483466
2 months ago
by adamkrellenstein-0.24%
ci: raise Picus docker memory and prefer cvc5 for monolithic mutant
fa5bd04
2 months ago
by adamkrellenstein-1.1%
formal: stabilize broad CI lane and keep monolithic mutant experimental
5a194ad
2 months ago
by adamkrellenstein-0.2%
formal: harden picus verifier and restore monolithic mutant control
021ca6d
2 months ago
by adamkrellenstein+0.28%
chore: remove unused picus smoke and dev fixture cruft
2db89fa
2 months ago
by adamkrellenstein+0.33%
chore: consolidate picus CI, wrappers, and docs
3e4d10e
2 months ago
by adamkrellenstein+0.22%
fix: stabilize picus mutant controls and inconclusive parsing
cab3648
2 months ago
by adamkrellenstein-0.58%
Merge remote-tracking branch 'origin/main' into picus-2
d5a77f8
2 months ago
by adamkrellenstein+44.49%
Merge pull request #37 from KontorProtocol/cursor/pr-comments-evaluation-abab
376734d
28 days ago
by adamkrellenstein-3.38%
Fix clippy is_multiple_of lint and NDJSON exit-code substring matching
2911ae8
28 days ago
by adamkrellenstein