diff options
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -4,5 +4,7 @@ Changes since 1.0 ================= * tuple and record support in the compatibility library +* user patterns are now supported in the SMT-LIBv1.2 parser +* SMT-LIB get-model output now is easier to machine-parse: contains (model...) --- Morgan Deters <mdeters@cs.nyu.edu> Wed, 05 Dec 2012 11:34:18 -0500 +-- Morgan Deters <mdeters@cs.nyu.edu> Wed, 23 Jan 2013 16:01:40 -0500 |