diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-06-25 14:27:20 -0700 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-06-25 14:27:20 -0700 |
commit | 6ded58d5e3b4046c48578078fe8d3cfd19f70c14 (patch) | |
tree | e219618e1c26e75cee2a038bbfef6fb80c16f83b /NEWS | |
parent | 14b9dbaa0c9e8dce52d1a28595dc1cc80756abed (diff) |
More updates to NEWS for 1.6.
Diffstat (limited to 'NEWS')
-rw-r--r-- | NEWS | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |