acir formal proofs using old shl/shr semantic #21845

Open

Assignees

opened

on Mar 20, 2026

The tests were designed when only rhs could be only u8, right now rhs must be the same type as lhs

Metadata

Assignees

defkit

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests