diff options
author | Liana Hadarean <lianahady@gmail.com> | 2013-04-03 12:53:15 -0400 |
---|---|---|
committer | Liana Hadarean <lianahady@gmail.com> | 2013-04-03 12:53:15 -0400 |
commit | c9c41118eb3af8c882019a6e978e838ac793002d (patch) | |
tree | 4710cbb4563ffd30d6ffed009d5691ab819805d3 | |
parent | 19ce1179438b41ebfdc8bbabed080ac1a0ed8c0c (diff) |
updated NEWS to include inequality solver
-rw-r--r-- | NEWS | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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...) |