projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 83cf390)
update to release notes
authorMorgan Deters <mdeters@gmail.com>
Wed, 28 Nov 2012 18:00:10 +0000 (18:00 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 28 Nov 2012 18:00:10 +0000 (18:00 +0000)
RELEASE-NOTES patch | blob | history

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index b271ed1e41892071bcd3ce1c24e9a1111f5afccd..2f08bb230567aa1fd18cc35d8fc0b309e1dc8906 100644 (file)
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -62,7 +62,8 @@ QUERY commands.
 CVC4 supports rational literals (of type REAL) in decimal; CVC3 did not
 support decimals.
 
-CVC4 does not have support for the IS_INTEGER predicate.
+CVC4 does not have support for the IS_INTEGER predicate, or for predicate
+subtypes, although these are planned for future releases.
 
 ** SMT-LIB compliance