Add issue 10175 floating-point regressions - #60

Merged

Nikolaj Bjorner (NikolajBjorner) merged 3 commits into

Z3Prover:masterfrom

1sgtpepper:add-10175-regressions

Jul 28, 2026

Microsoft GitHub Policy Service / license/cla succeeded Jul 26, 2026 in 0s

All CLA requirements met.

This check verifies that the author has agreed to a CLA with Microsoft.

View more details on Microsoft GitHub Policy Service