Skip to content

Fix: soundness error in FpChip::assert_eq due to typo#18

Merged
jonathanpwang merged 3 commits into
release-0.3.0from
fix/fp-chip-assert-eq
Apr 16, 2023
Merged

Fix: soundness error in FpChip::assert_eq due to typo#18
jonathanpwang merged 3 commits into
release-0.3.0from
fix/fp-chip-assert-eq

feat: add tests for `FpChip::assert_eq`

ae80a48
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs