Default Branch

ab3a22edaa · Remove JournalingConstraintSystem. (#3305) · Updated 2025-09-22 15:20:08 -04:00

Branches

c6b6c178a3 · fmt · Updated 2025-09-23 01:36:12 -04:00

-1
-1

9261e0480e · add Benchmarks (cargo) benchmark result for ab3a22edaa · Updated 2025-09-22 22:35:31 -04:00

-1
-1

e5ceff733c · Some more derived columns work. · Updated 2025-09-22 14:04:31 -04:00

-1
-1

c1a2d8f52d · Remove the expressions() function. · Updated 2025-09-22 13:49:54 -04:00

-1
-1

8eab301388 · Remove ReferencedSymbols trait. · Updated 2025-09-22 13:31:47 -04:00

-1
-1

72b4171a81 · remove mutex · Updated 2025-09-22 12:11:56 -04:00

-1
-1

9eed819c27 · Merge remote-tracking branch 'origin/main' into seqz · Updated 2025-09-22 08:26:13 -04:00

1
226

b751bff980 · Fix merge. · Updated 2025-09-22 07:21:32 -04:00

-1
-1

2d22201523 · Change experiment sizes · Updated 2025-09-18 09:16:49 -04:00

2
3

8c869cb287 · Merge branch 'ovm-1.4' into ovm-1.4-memory · Updated 2025-09-18 06:45:14 -04:00

2
25

7920df3a8a · Relax mul. · Updated 2025-09-17 11:32:47 -04:00

2
4

de3143a18a · patch bug in to_option · Updated 2025-09-17 06:43:58 -04:00

7
8

2fb1a0aaa3 · Add ability to create new variables. · Updated 2025-09-17 05:08:02 -04:00

5
1

85ee3937a5 · Merge remote-tracking branch 'origin/main' into remove_register_zero_memory_bus · Updated 2025-09-15 07:31:59 -04:00

8
9

51770e6073 · merge main · Updated 2025-09-15 03:33:42 -04:00

9
12

33d7fd6833 · avoid clone in range checker send · Updated 2025-09-10 05:40:21 -04:00

19
1

2ee73dcfee · update with tag · Updated 2025-09-10 05:19:27 -04:00

19
2

18935c07f7 · Keep only A as generic on chips (#3271) · Updated 2025-09-10 04:13:09 -04:00

22
29

d350f96ca9 · cherry pick · Updated 2025-09-09 04:15:32 -04:00

22
2

f899117a28 · use bus interaction evaluator for witgen · Updated 2025-09-09 03:32:01 -04:00

22
29