diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-28 17:31:57 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-22 18:54:52 -0400 |
| commit | f44a81d1b62058fa56af952aa92be965690481e5 (patch) | |
| tree | dc4b56e27701abd61ebd69675f86a9366d90998f /NEWS | |
| parent | 36816ad2537a2e6163037e9592c513b9a69aa9dc (diff) | |
Support for Boolean term conversion in datatypes.
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -15,5 +15,6 @@ Changes since 1.0 use -q. Previously, this would silence all output (including "sat" or "unsat") as well. Now, single -q silences messages and warnings, and double -qq silences all output (except on exception or signal). +* Boolean term support in datatypes --- Morgan Deters <mdeters@cs.nyu.edu> Wed, 20 Feb 2013 18:31:50 -0500 +-- Morgan Deters <mdeters@cs.nyu.edu> Wed, 20 Mar 2013 20:03:50 -0400 |