1 This file contains a summary of important user-visible changes.
6 * tuple and record support in the compatibility library
7 * user patterns are now supported in the SMT-LIBv1.2 parser
8 * SMT-LIB get-model output now is easier to machine-parse: contains (model...)
9 * Win32 support via mingw
11 -- Morgan Deters <mdeters@cs.nyu.edu> Mon, 28 Jan 2013 15:26:24 -0500