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
3,333 Commits 544 Branches 9 Tags

Default Branch

main

70a2ad8874 · Fix typo in optimizer documentation (#3702) · Updated 2026-04-07 12:16:09 -04:00
 ZIP  TAR.GZ

Branches

gh-pages

9a3116c020 · add Benchmarks (cargo) benchmark result for 70a2ad8874 · Updated 2026-04-19 19:26:30 -04:00
3333
299
 ZIP  TAR.GZ
add-sp1-compilation-benchmarks

d1fd2377f1 · update rust to 1.91 · Updated 2026-04-17 13:25:13 -04:00
0
3
 ZIP  TAR.GZ
remove-memory-bus-interaction-trait

f2c06b6624 · fix bench · Updated 2026-04-17 10:03:27 -04:00
0
6
 ZIP  TAR.GZ
memcpy_opt

3cba3b46dc · fix again · Updated 2026-04-13 10:51:19 -04:00
1
28
 ZIP  TAR.GZ
openvm-v2-integration-07-04

088c20f550 · Switch run_pairing.sh from apc030 to apc100 · Updated 2026-04-07 16:39:35 -04:00
25
36
 ZIP  TAR.GZ
exhaustive-search-expression-simplification

5cb4234dd7 · cleanup · Updated 2026-04-07 11:18:11 -04:00
1
18
 ZIP  TAR.GZ
leanvm

6d9fa3c824 · Remove unused dependency · Updated 2026-04-03 14:43:42 -04:00
1
28
 ZIP  TAR.GZ
leo/divide-and-conquer-optimizer

efb9ece4cd · Pre-filter Cell PGO candidates and tune parallel threshold · Updated 2026-04-02 18:33:09 -04:00
1
7
 ZIP  TAR.GZ
unconditional-superblocks-rebase-test

a46e85229f · fix hax: keep track of static block start pcs · Updated 2026-04-02 16:39:13 -04:00
1
29
 ZIP  TAR.GZ
cli-artifact-support

6e35f5a992 · Add artifact compile/load support to CLI · Updated 2026-04-02 05:52:48 -04:00
3
1
 ZIP  TAR.GZ
fix-metrics-viewer-cpu-backend

610c2fc156 · Hide Round 0 and Set Initial Memory when zero · Updated 2026-04-01 09:32:51 -04:00
1
2
 ZIP  TAR.GZ
openvm-v2-integration-31-03

ea116fe099 · Sync OpenVM to upstream develop-v2.0.0-rc.1 · Updated 2026-03-31 12:11:22 -04:00
25
34
 ZIP  TAR.GZ
explain-openvm-proving-times

a65cc53c28 · Add prompt · Updated 2026-03-25 05:20:44 -04:00
4
4
 ZIP  TAR.GZ
bug-report

b4e36bd258 · Analysis on difference in trace cells & constraint / bus interaction instances · Updated 2026-03-23 14:40:16 -04:00
5
1
 ZIP  TAR.GZ
detect-non-conditional-superblocks

693818e20f · review · Updated 2026-03-23 13:22:00 -04:00
12
11
 ZIP  TAR.GZ
generate-unconditional-superblocks

ee8ca35307 · clean · Updated 2026-03-20 13:41:37 -04:00
12
26
 ZIP  TAR.GZ
add-air-id-v2

d55d1277d1 · Use add-air-id-v2 branches · Updated 2026-03-20 11:00:09 -04:00
25
34
 ZIP  TAR.GZ
openvm-v2-integration

c41016044c · Use execute_interpreted for PGO and add aot feature to CLI · Updated 2026-03-18 07:13:28 -04:00
25
33
 ZIP  TAR.GZ
add-used-cells

39f4faf72d · Use patched OpenVM · Updated 2026-03-18 06:48:30 -04:00
17
2
 ZIP  TAR.GZ
womir-optimizer-tests

62b54982eb · Fix clippy: replace println! with eprintln! in tests · Updated 2026-03-18 04:22:47 -04:00
17
3
 ZIP  TAR.GZ