Skip to content
Merged
Changes from all commits
Commits
Show all changes
32 commits
Select commit Hold shift + click to select a range
68edd80
feat(v3): make Rust DAG isomorphism gate executable
briansrls May 9, 2026
60b0b25
Revert "feat(v3): make Rust DAG isomorphism gate executable"
briansrls May 9, 2026
5205639
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 9, 2026
7c43e89
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 9, 2026
82b63ff
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 9, 2026
4f39cc1
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 9, 2026
86059f4
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 9, 2026
ae15b03
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
df05e6f
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
d294f2a
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
4b1509f
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
0b07ebf
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
3eeeca6
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
33449ed
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
1b2dff3
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
7f96850
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
e53638c
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
0dd8d71
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
2782640
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
05c226f
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
b60e1aa
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
5b8f1ba
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
c2cef1e
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
ff427f5
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
4dc9efd
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
c2e448e
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
177ef0a
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
f2ac20b
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
4af2cff
WIP: R3 gate #14: rust dag isomorphism executable
briansrls May 10, 2026
9ba1532
Fail closed rust dag isomorphism gate
briansrls May 10, 2026
9d359fc
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
351b768
Merge remote-tracking branch 'origin/main' into session/eager-wren-817
briansrls May 10, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions src/v3/compiler/src/test_runner.rs
Original file line number Diff line number Diff line change
Expand Up @@ -2092,7 +2092,7 @@ impl<'a> TestRunner<'a> {
"LensOutputEquals" => self.eval_lens_output_equals(claim, &payload),
"DifferentialEquals" => self.eval_differential_equals(claim, &payload),
"BinaryDimensionReportEquals" => {
self.eval_binary_dimension_report_equals_shape(claim, &payload)
self.eval_binary_dimension_report_equals(claim, &payload)
}
"SymbolicCostExprEquals" => {
self.eval_symbolic_cost_expr_equals_shape(claim, &payload)
Expand Down Expand Up @@ -2844,7 +2844,7 @@ impl<'a> TestRunner<'a> {
))
}

fn eval_binary_dimension_report_equals_shape(
fn eval_binary_dimension_report_equals(
&self,
_claim: &TestClaimValue,
payload: &[FieldValue],
Expand Down
Loading