From c9c41118eb3af8c882019a6e978e838ac793002d Mon Sep 17 00:00:00 2001 From: Liana Hadarean Date: Wed, 3 Apr 2013 12:53:15 -0400 Subject: [PATCH] updated NEWS to include inequality solver --- NEWS | 2 ++ 1 file changed, 2 insertions(+) diff --git a/NEWS b/NEWS index e792564ba..844610486 100644 --- a/NEWS +++ b/NEWS @@ -3,6 +3,8 @@ This file contains a summary of important user-visible changes. Changes since 1.0 ================= +* bit-vector solver now has a specialized decision procedure for unsigned bit- + vector inequalities * 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...) -- 2.30.2