Acir format failing for certain range constraints#267

Closed

vezenovm wants to merge 40 commits into

mv/move-to-ultrafrom

mv/ultra-range-dbg

Commits on Mar 24, 2023

acir format tests showing failures with range constraints of different bit sizes
vezenovm
committed
remove unnecessary comment
vezenovm
committed
(fix) Temporarily add a redundant add-gate for variables that need range constraint < 8 bits.
suyash67
committed

Commits on Mar 27, 2023

logic gate changes using plookup

Maxim Vezenov
authored and
Maxim Vezenov
committed
Merge branch 'mv/move-to-ultra' into mv/ultra-range-dbg

Maxim Vezenov
authored and
Maxim Vezenov
committed
logic gate debugging

Maxim Vezenov
authored and
Maxim Vezenov
committed
test for logic gates passing

Maxim Vezenov
authored and
Maxim Vezenov
committed

Commits on Mar 28, 2023

Commits on Mar 29, 2023

Commits on Mar 31, 2023