From 23ad0f102f8c78fa1ae479af56e48de12a2bae55 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 2 Jul 2014 14:45:28 -0400 Subject: [PATCH] Minor. --- COPYING | 2 +- NEWS | 2 +- RELEASE-NOTES | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/COPYING b/COPYING index 102bf41f6..b07cc669e 100644 --- a/COPYING +++ b/COPYING @@ -23,7 +23,7 @@ THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. --- Morgan Deters Tue, 17 Jun 2014 17:08:22 -0400 +-- Morgan Deters Wed, 02 Jul 2014 14:44:39 -0400 CVC4 incorporates MiniSat code, excluded from the above copyright. See src/sat/minisat. Its copyright: diff --git a/NEWS b/NEWS index 431c95980..19215fd97 100644 --- a/NEWS +++ b/NEWS @@ -99,4 +99,4 @@ Changes since 1.0 "unsat") as well. Now, single -q silences messages and warnings, and double -qq silences all output (except on exception or signal). --- Morgan Deters Mon, 16 Jun 2014 22:23:12 -0400 +-- Morgan Deters Wed, 02 Jul 2014 14:45:05 -0400 diff --git a/RELEASE-NOTES b/RELEASE-NOTES index 90840d99a..2d6eaeab1 100644 --- a/RELEASE-NOTES +++ b/RELEASE-NOTES @@ -1,4 +1,4 @@ -Release Notes for CVC4 1.4, June 2014 +Release Notes for CVC4 1.4, July 2014 ** Getting started -- 2.30.2