diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-12-06 01:54:11 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-12-06 01:54:11 +0000 |
| commit | 1a2d113fd62f1f8b362f907c0fd34c2adecdb1f1 (patch) | |
| tree | 7320f333b48cc2ecd7b3851721dbd3784d7ea85e /NEWS | |
| parent | 8c8985f024cec925f774ff32ebccc306be8e4b26 (diff) | |
* tuple and record support in compatibility library
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -1,5 +1,8 @@ This file contains a summary of important user-visible changes. -This is the first public release, CVC4 1.0. +Changes since 1.0 +================= --- Morgan Deters <mdeters@cs.nyu.edu> Sat, 01 Dec 2012 12:53:23 -0500 +* tuple and record support in the compatibility library + +-- Morgan Deters <mdeters@cs.nyu.edu> Wed, 05 Dec 2012 11:34:18 -0500 |