diff options
author | Tim King <taking@cs.nyu.edu> | 2010-09-16 21:16:59 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2010-09-16 21:16:59 +0000 |
commit | 9eaf94708275337a4749b7ef2f44bf1c6746d8fc (patch) | |
tree | efac017c6ad18ac2abe71849ad6e99dace456941 /src/theory/bv/kinds | |
parent | ed3bc77005060a5745696519da31babd745181a7 (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.
Diffstat (limited to 'src/theory/bv/kinds')
0 files changed, 0 insertions, 0 deletions