Introduce common coeff_signed_to_unsigned function in poly.c#53

Closed

rod-chapman wants to merge 10 commits intopq-code-package:mainfrom rod-chapman:poly_compress_contracts

+74-45

Commits on Jul 30, 2024

Commits on Aug 8, 2024

Explicitly disable EXTERNAL_SAT_SOLVER, and use SMT2 back-end instead
rod-chapman
committed
Finalize proof of poly_compress()
rod-chapman
committed
Remove CBMC contracts on poly_decompress(). These will be re-introduced in a later PR
rod-chapman
committed