Some patches to CVC3 compatibility layer; Thanks to Adam Buchbinder @ Google for the report and patch!
Add virtual destructors where missing
Datatype::getCardinality() caching
Some patches to CVC3 compatibility layer tests; Thanks to Adam Buchbinder @ Google for the report and patch!
Allow empty record literals (fixing an oversight in previous work on empty tuples/records)
Minor fixes for Mac OS Mavericks
Add fair strategy for finite model finding multiple sorts --uf-ss-fair.
Bug fix for previous commit
Changing the number of bits allocated per field in node values.
Adding the changes needed to delete rewriter attributes.  This includes being able to list attributes.  Additionally, added debugging hooks to node manager and attribute manager.
string fmf changes
Merge branch 'master' of github.com:tiliang/CVC4