Default Branch

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

Branches

caf088f8d9 · debugging supporting function · Updated 2026-01-21 04:53:42 -05:00

106
75

266a6939e0 · Extend combine_product to handle ranges spanning zero · Updated 2026-01-19 10:40:29 -05:00

86
1

27477921fb · Fix max_abs_value logic and clarify compute_product_bounds algorithm · Updated 2026-01-19 08:49:04 -05:00

86
6

bbc7f1a4b4 · Update Claude.md · Updated 2026-01-16 14:23:25 -05:00

90
1

5ce17c3f24 · use execution constraints, wip · Updated 2026-01-16 10:59:36 -05:00

93
5

c8347b9068 · added bump check to check_condition; added tests · Updated 2026-01-15 03:08:11 -05:00

96
1

ce8a78989b · fix execution bus bug; fibo works · Updated 2026-01-13 04:37:53 -05:00

102
52

02b0a81054 · use server-dev instead of gpu-runner · Updated 2026-01-06 00:39:05 -05:00

136
3

49d6eb2f48 · debug reth · Updated 2026-01-05 06:51:44 -05:00

114
1

b2894096ba · force CI; use reth branch · Updated 2026-01-02 01:57:03 -05:00

120
20

38d2dd86b4 · no collect · Updated 2026-01-01 04:46:39 -05:00

120
2

8a843d72bd · commit output file as well · Updated 2025-12-31 02:57:41 -05:00

121
2

99bb11feb0 · Refine partition construction · Updated 2025-12-26 18:26:48 -05:00

126
3

0158db06a0 · pull main · Updated 2025-12-22 05:18:51 -05:00

128
14

740eeae0ec · Merge remote-tracking branch 'origin/main' into HEAD · Updated 2025-12-19 09:19:55 -05:00

134
13

f3a661622d · superblock param · Updated 2025-12-18 16:27:10 -05:00

149
8

7e0cb0da09 · remove cargo lock from cache instead of cargo update · Updated 2025-12-18 02:55:32 -05:00

136
2

fae693e714 · clippy · Updated 2025-12-17 01:57:12 -05:00

138
2

9748d2fe45 · strong constraints · Updated 2025-12-15 06:44:08 -05:00

151
9

e19a3658a2 · fix test · Updated 2025-12-15 06:20:50 -05:00

144
7