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/util | |
| 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/util')
0 files changed, 0 insertions, 0 deletions