Binary adder PB encoding #185

chrjabs · 2024-11-27T12:01:51Z

Description of the Contribution

Implementation of the binary adder PB encoding.

I read and agree to CONTRIBUTING.md
I have formatted my code with rustfmt / cargo fmt --all
Commits are named following conventional commits
I have added documentation for new features
The test suite still passes on this PR
I have added tests for new features / tests that would have caught the bug this PR fixes (please explain if not)
If this PR contains breaking changes, it is against the next-major branch, not against main

no tests for pyapi and capi on windows

chrjabs added 9 commits November 20, 2024 15:35

feat: Var and Lit constructors in const context

5113d11

feat: implement kani::Arbitrary for TernaryVal

c2092e3

fix: unnecessary mut warning in clause![]

d94bfac

docs: spelling

f16dc2c

chore: clippy

73384f2

feat(encodings): BinaryAdder PB encoding

1e89f33

docs(capi): mention panic cases

3ae4d81

feat(capi): C-API for binary adder encoding

1c52370

chore(ci): do not run nextest if no tests

e7c5bec

no tests for pyapi and capi on windows

chrjabs force-pushed the binary-adder branch from 75a4a77 to e7c5bec Compare November 27, 2024 13:13

chrjabs merged commit 14e2d97 into main Nov 27, 2024
51 checks passed

chrjabs deleted the binary-adder branch November 27, 2024 13:39