projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed3bc77) | patch
Bug fix to CVC4::theory::arith::VarList as well as some superficial changes. test...
authorTim King <taking@cs.nyu.edu>
Thu, 16 Sep 2010 21:16:59 +0000 (21:16 +0000)
committerTim King <taking@cs.nyu.edu>
Thu, 16 Sep 2010 21:16:59 +0000 (21:16 +0000)
commit9eaf94708275337a4749b7ef2f44bf1c6746d8fc
treeefac017c6ad18ac2abe71849ad6e99dace456941tree
parented3bc77005060a5745696519da31babd745181a7commit | diff
Bug fix to CVC4::theory::arith::VarList as well as some superficial changes. test/regress/regress0/arith/arith.03.cvc now passes and is turned on by default.  Tiny documentation fix for the arithmetic normal form.
src/theory/arith/normal_form.cpp diff | blob | history
src/theory/arith/normal_form.h diff | blob | history
test/regress/regress0/arith/Makefile.am diff | blob | history