3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 09:34:08 +00:00

Version number adjustment.

This commit is contained in:
Christoph M. Wintersteiger 2015-04-29 15:16:25 +01:00
parent 78cc1e0703
commit 4e082eae6e

View file

@ -1,6 +1,6 @@
RELEASE NOTES
Version 4.4
Version 4.4.0
=============
- New feature: Support for the theory of floating-point numbers. This comes in the form of logics (QF_FP and QF_FPBV), tactics (qffp and qffpbv), as well as a theory plugin that allows theory combinations. Z3 supports the official SMT theory definition of FP (see http://smtlib.cs.uiowa.edu/theories/FloatingPoint.smt2) in SMT2 files, as well as all APIs.