projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: b06d25a)
Update NEWS
authorKshitij Bansal <kshitij@cs.nyu.edu>
Mon, 30 Jun 2014 19:47:59 +0000 (15:47 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Mon, 30 Jun 2014 19:47:59 +0000 (15:47 -0400)
NEWS patch | blob | history

diff --git a/NEWS b/NEWS
index f227952fe32c02d25b988b561646bf6e9e19f4d6..ee45c201b3d59ccb374d5c674a648698c62d6779 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -25,6 +25,8 @@ Changes since 1.3
   Previous versions inadvertently permitted clients to do this via the
   API.  This has been corrected, copy and assignment of the SmtEngine
   is no longer permitted.
+* Theory of finite sets, handling the MLSS fragment (singleton, union,
+  intersection, set subtraction, membership and subset).
 
 Changes since 1.2
 =================