Add IEEE-754 Floating Point to Bitvector Conversion Fallback#512

Open

baierd wants to merge 40 commits intomasterfrom

504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers

Commits on Aug 13, 2025

Remove workaround for toIeeeBitvector() in Bitwuzla as the extra constraint is not handed to the user
BaierD
committed
Add fallback for toIeeeBitvector() based on the SMTLIB2 standards suggestion + add helper to get mantissa and exponent sizes for FPs (not finished for all solvers)
BaierD
committed

Commits on Aug 31, 2025

Commits on Sep 1, 2025

Commits on Sep 2, 2025

Commits on Nov 2, 2025

Extend the exception message for parsing failing due to no support for 'fp.as_ieee_bv' and also add info about SMTLIB2 keywords to new toIeeeBitvector() methods
BaierD
committed