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

Added item to release notes

Browse source 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
Christoph M. Wintersteiger 2014-10-25 16:59:24 +01:00
parent cb3e9c9644
commit 6b51f7a610
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
RELEASE_NOTES
View file

@ -1,5 +1,10 @@
RELEASE NOTES
Version 4.3.3
=============
- Fixed bug in floating point models
Version 4.3.2
=============