projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bb59480) | patch
Merging the branch branches/arithmetic/push-pop-support from r2247 to r2256 into...
authorTim King <taking@cs.nyu.edu>
Wed, 19 Oct 2011 17:25:00 +0000 (17:25 +0000)
committerTim King <taking@cs.nyu.edu>
Wed, 19 Oct 2011 17:25:00 +0000 (17:25 +0000)
commitb34cdc14238b5d215e6014d6b3db2971859a0b9d
tree4921160626d036c344ffcd44ba7eaabd73fa044atree
parentbb59480a36fb0f799af53676c07b8fca43c2fff4commit | diff
Merging the branch branches/arithmetic/push-pop-support from r2247 to r2256 into trunk.  Arithmetic should now be closer to being able to support push and pop.
src/theory/arith/arith_utilities.h diff | blob | history
src/theory/arith/theory_arith.cpp diff | blob | history
src/theory/arith/theory_arith.h diff | blob | history
test/regress/regress0/arith/integers/Makefile.am diff | blob | history