diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-23 15:53:31 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-23 16:02:17 -0500 |
| commit | 298f2b1deb9b304c67f0a12fa9b834265ed5255c (patch) | |
| tree | 481c74c9ec64fb820b3dfab98288677283840180 /NEWS | |
| parent | 749fbf3ec6262dc4c79a988243ad88343689af30 (diff) | |
add user patterns to the Smt1 parser; update NEWS file
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 |