diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-30 15:47:59 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-30 15:47:59 -0400 |
| commit | cf998dd81ebaf35d4871f3455b7cb84e1fe5972c (patch) | |
| tree | 18bf5526dd6aa6970b633d66e6182347e8ceec58 | |
| parent | b06d25a020240fa455798308418ad802f9f40ea3 (diff) | |
Update NEWS
| -rw-r--r-- | NEWS | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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 ================= |