projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4fb42ac) | patch
Fix output of integer-valued real constants in SMT-LIB models (thanks Christoph Stick...
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 3 Oct 2014 15:19:48 +0000 (11:19 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 3 Oct 2014 19:12:51 +0000 (15:12 -0400)
commit65f0dc22fe49c6c388e9413f3b7541d7fb49a3b3
tree2601c6cb44feda628dfd001e83f5030ff69dc3f8tree
parent4fb42ac1e5a96c1633bb4570681b09db657f673dcommit | diff
Fix output of integer-valued real constants in SMT-LIB models (thanks Christoph Sticksel for reporting).
NEWS diff | blob | history
src/expr/command.cpp diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history