Skip to content

feat: add built-in zero wire (Aux(0)) to constraint system - #491

Open
sai-deng wants to merge 3 commits into
microsoft:mainfrom
sai-deng:feat/builtin-zero-wire
Open

feat: add built-in zero wire (Aux(0)) to constraint system#491
sai-deng wants to merge 3 commits into
microsoft:mainfrom
sai-deng:feat/builtin-zero-wire

refactor: remove alloc_zero, use AllocatedNum::zero() directly

6c1b4a0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

5 warnings

The logs for this run have expired and are no longer available.