Default Branch

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

ZIP  TAR.GZ

Branches

rule-debugging-branch-shuang caf088f8d9 · debugging supporting function · Updated 2026-01-21 04:53:42 -05:00	106 75		ZIP  TAR.GZ
georgwiese/improve-combine-product 266a6939e0 · Extend combine_product to handle ranges spanning zero · Updated 2026-01-19 10:40:29 -05:00	86 1		ZIP  TAR.GZ
copilot/extend-combine-product-handling 27477921fb · Fix max_abs_value logic and clarify compute_product_bounds algorithm · Updated 2026-01-19 08:49:04 -05:00	86 6		ZIP  TAR.GZ
update-claude-md bbc7f1a4b4 · Update Claude.md · Updated 2026-01-16 14:23:25 -05:00	90 1		ZIP  TAR.GZ
use-execution-constraints 5ce17c3f24 · use execution constraints, wip · Updated 2026-01-16 10:59:36 -05:00	93 5		ZIP  TAR.GZ
candidate-tracker-state-bump c8347b9068 · added bump check to check_condition; added tests · Updated 2026-01-15 03:08:11 -05:00	96 1		ZIP  TAR.GZ
superblocks-rebase ce8a78989b · fix execution bus bug; fibo works · Updated 2026-01-13 04:37:53 -05:00	102 52		ZIP  TAR.GZ
debug-reth-1 02b0a81054 · use server-dev instead of gpu-runner · Updated 2026-01-06 00:39:05 -05:00	136 3		ZIP  TAR.GZ
debug-reth 49d6eb2f48 · debug reth · Updated 2026-01-05 06:51:44 -05:00	114 1		ZIP  TAR.GZ
direct-to-apc b2894096ba · force CI; use reth branch · Updated 2026-01-02 01:57:03 -05:00	120 20		ZIP  TAR.GZ
parallel-intersect-no-collect 38d2dd86b4 · no collect · Updated 2026-01-01 04:46:39 -05:00	120 2		ZIP  TAR.GZ
one-column-solver 8a843d72bd · commit output file as well · Updated 2025-12-31 02:57:41 -05:00	121 2		ZIP  TAR.GZ
empirical-partition-singletons 99bb11feb0 · Refine partition construction · Updated 2025-12-26 18:26:48 -05:00	126 3		ZIP  TAR.GZ
superblocks-integrate-rebased 0158db06a0 · pull main · Updated 2025-12-22 05:18:51 -05:00	128 14		ZIP  TAR.GZ
main-into-v.1.4.2-powdr 740eeae0ec · Merge remote-tracking branch 'origin/main' into HEAD · Updated 2025-12-19 09:19:55 -05:00	134 13		ZIP  TAR.GZ
superblocks f3a661622d · superblock param · Updated 2025-12-18 16:27:10 -05:00	149 8		ZIP  TAR.GZ
ci-cargo-update 7e0cb0da09 · remove cargo lock from cache instead of cargo update · Updated 2025-12-18 02:55:32 -05:00	136 2		ZIP  TAR.GZ
pgo-with-non-tco fae693e714 · clippy · Updated 2025-12-17 01:57:12 -05:00	138 2		ZIP  TAR.GZ
pgo-range-constraints-strong 9748d2fe45 · strong constraints · Updated 2025-12-15 06:44:08 -05:00	151 9		ZIP  TAR.GZ
minimal_range_zero_deducible e19a3658a2 · fix test · Updated 2025-12-15 06:20:50 -05:00	144 7		ZIP  TAR.GZ