projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42e7a38) | patch
small changes:
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Tue, 10 Jul 2012 01:20:44 +0000 (01:20 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Tue, 10 Jul 2012 01:20:44 +0000 (01:20 +0000)
commit05b9f9f137028cc072538cc37df427769fd5eace
treef4e51d4c2cd66192f667c769d1797dcde4b7c22dtree
parent42e7a38f0a0b38722c2f58ff028a5d3af9337347commit | diff
small changes:
* smtlib2 decimal constant can be "1.", i.e. doesn't need digits after the point
* adding CVC4_PUBLIC to rational output operator, otherwise it's unusable for users
src/parser/smt2/Smt2.g diff | blob | history
src/util/rational_cln_imp.h diff | blob | history
src/util/rational_gmp_imp.h diff | blob | history