projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a0a59d) | patch
Last commit accidentally lacked r2778 and r2779 from integer2. I have manually broug...
authorTim King <taking@cs.nyu.edu>
Thu, 16 Feb 2012 00:54:12 +0000 (00:54 +0000)
committerTim King <taking@cs.nyu.edu>
Thu, 16 Feb 2012 00:54:12 +0000 (00:54 +0000)
commit67c6e89c904f76a268f9297b7589559a262583e0
tree931766422986af03259c2c3c75221fb61be523e9tree
parent9a0a59d5c85c4a1d2469f43e9d2b433e156810bacommit | diff
Last commit accidentally lacked r2778 and r2779 from integer2.  I have manually brought these changes over.  Changed the tests used by test/regress/regress0/arith/integers/Makefile.am to be 15 of the more interesting tests.  Did a bit of cleanup on TheoryArith to eliminate a warning and remove dead code.
src/theory/arith/dio_solver.cpp diff | blob | history
src/theory/arith/theory_arith.cpp diff | blob | history
src/theory/arith/theory_arith.h diff | blob | history
src/util/options.cpp diff | blob | history
src/util/options.h diff | blob | history
test/regress/regress0/arith/integers/Makefile.am diff | blob | history