diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-14 15:21:24 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-14 15:52:43 -0400 |
| commit | 52514303081e78c98e504980a50b76a04f4b8762 (patch) | |
| tree | ff913f6d81048da5f02031f8ed43f5e9ab613a79 /INSTALL | |
| parent | f0407e1c718050daf021c937708d779bdcc3b191 (diff) | |
SMT-LIB compliance: allow bin/hex set-info, e.g. (set-info :key #xffff). Thanks to David Cok for the bug report.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions