projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f0407e1) | patch
SMT-LIB compliance: allow bin/hex set-info, e.g. (set-info :key #xffff). Thanks...
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 14 Mar 2014 19:21:24 +0000 (15:21 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 14 Mar 2014 19:52:43 +0000 (15:52 -0400)
commit52514303081e78c98e504980a50b76a04f4b8762
treeff913f6d81048da5f02031f8ed43f5e9ab613a79tree
parentf0407e1c718050daf021c937708d779bdcc3b191commit | diff
SMT-LIB compliance: allow bin/hex set-info, e.g. (set-info :key #xffff).  Thanks to David Cok for the bug report.
THANKS diff | blob | history
src/parser/smt2/Smt2.g diff | blob | history