From 6ded58d5e3b4046c48578078fe8d3cfd19f70c14 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Mon, 25 Jun 2018 14:27:20 -0700 Subject: [PATCH] More updates to NEWS for 1.6. --- NEWS | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/NEWS b/NEWS index a9ce4d68f..038b02026 100644 --- a/NEWS +++ b/NEWS @@ -8,7 +8,8 @@ New Features: * Novel approach for solving quantified bit-vectors (BV). * Eager bit-blasting: Support for SAT solver CaDiCaL. * A new Gaussian Elimination preprocessing pass for the theory of bit-vectors. -* Support for transcendental functions (sin, cos, exp). +* Support for transcendental functions (sin, cos, exp). In SMT2 input, this + can be enabled by adding T to the logic (e.g., QF_NRAT). * Support for new operators in strings, including string inequality (str.<=) and string code (str.code). * Support for automated rewrite rule generation from sygus (*.sy) inputs using @@ -16,7 +17,6 @@ New Features: Improvements: * Incremental unsat core support. -* Strings rewriter. * Further development of rewrite rules for the theory of strings and regular expressions. * Many optimizations for syntax-guided synthesis, including improved symmetry -- 2.30.2