Age | Commit message (Expand) | Author |
---|---|---|
2011-02-16 | Overview of the changes: | Tim King |
2011-01-05 | Commit for the theory engine and rewriter changes. Changes are substantial an... | Dejan Jovanović |
2010-10-28 | The Row implementation has no been replaced by RowVector and ReducedRowVector... | Tim King |
2010-10-13 | Removed vector<Monomial> monos from Polynomial. Now using expr::NodeSelfIter... | Tim King |
2010-10-12 | IDENTITY has been removed. | Tim King |
2010-10-03 | file header documentation regenerated with contributors names; no code modifi... | Morgan Deters |
2010-09-21 | part of review (bug #197): coding conventions, file-level documentation, re-r... | Morgan Deters |
2010-09-16 | Bug fix to CVC4::theory::arith::VarList as well as some superficial changes. ... | Tim King |
2010-09-13 | * New normal form for arithmetic is in place. | Tim King |