Default Branch

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

ZIP  TAR.GZ

Branches

ovm-1.4-tracegen c6b6c178a3 · fmt · Updated 2025-09-23 01:36:12 -04:00	-1 -1		ZIP  TAR.GZ
gh-pages 9261e0480e · add Benchmarks (cargo) benchmark result for ab3a22edaa · Updated 2025-09-22 22:35:31 -04:00	-1 -1		ZIP  TAR.GZ
derived_columns e5ceff733c · Some more derived columns work. · Updated 2025-09-22 14:04:31 -04:00	-1 -1		ZIP  TAR.GZ
remove_expressions_fun c1a2d8f52d · Remove the expressions() function. · Updated 2025-09-22 13:49:54 -04:00	-1 -1		ZIP  TAR.GZ
use_unknown_variables 8eab301388 · Remove ReferencedSymbols trait. · Updated 2025-09-22 13:31:47 -04:00	-1 -1		ZIP  TAR.GZ
ovm-1.4 72b4171a81 · remove mutex · Updated 2025-09-22 12:11:56 -04:00	-1 -1		ZIP  TAR.GZ
seqz 9eed819c27 · Merge remote-tracking branch 'origin/main' into seqz · Updated 2025-09-22 08:26:13 -04:00	1 226		ZIP  TAR.GZ
remove_components b751bff980 · Fix merge. · Updated 2025-09-22 07:21:32 -04:00	-1 -1		ZIP  TAR.GZ
larger-benches 2d22201523 · Change experiment sizes · Updated 2025-09-18 09:16:49 -04:00	2 3		ZIP  TAR.GZ
ovm-1.4-memory 8c869cb287 · Merge branch 'ovm-1.4' into ovm-1.4-memory · Updated 2025-09-18 06:45:14 -04:00	2 25		ZIP  TAR.GZ
relax_bounds 7920df3a8a · Relax mul. · Updated 2025-09-17 11:32:47 -04:00	2 4		ZIP  TAR.GZ
ovm-1.4-extraction-utils de3143a18a · patch bug in to_option · Updated 2025-09-17 06:43:58 -04:00	7 8		ZIP  TAR.GZ
new_var 2fb1a0aaa3 · Add ability to create new variables. · Updated 2025-09-17 05:08:02 -04:00	5 1		ZIP  TAR.GZ
remove_register_zero_memory_bus 85ee3937a5 · Merge remote-tracking branch 'origin/main' into remove_register_zero_memory_bus · Updated 2025-09-15 07:31:59 -04:00	8 9		ZIP  TAR.GZ
evaluator-mapping 51770e6073 · merge main · Updated 2025-09-15 03:33:42 -04:00	9 12		ZIP  TAR.GZ
avoid-clone-in-range-checker-send 33d7fd6833 · avoid clone in range checker send · Updated 2025-09-10 05:40:21 -04:00	19 1		ZIP  TAR.GZ
update-k256-hash 2ee73dcfee · update with tag · Updated 2025-09-10 05:19:27 -04:00	19 2		ZIP  TAR.GZ
trace-handler-with-adapter 18935c07f7 · Keep only A as generic on chips (#3271) · Updated 2025-09-10 04:13:09 -04:00	22 29		ZIP  TAR.GZ
bus-interaction-evaluator-2 d350f96ca9 · cherry pick · Updated 2025-09-09 04:15:32 -04:00	22 2		ZIP  TAR.GZ
bus-interaction-evaluator f899117a28 · use bus interaction evaluator for witgen · Updated 2025-09-09 03:32:01 -04:00	22 29		ZIP  TAR.GZ