Age | Commit message (Expand) | Author |
---|---|---|
2012-08-14 | Fixes to integer wrapper classes: | Morgan Deters |
2012-02-06 | Fixing a bug in the integer unit tests when configured for GMP with assertion... | Tim King |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-04-25 | small unit test fix; was broken only in non-assertion, non-CLN builds | Morgan Deters |
2011-04-25 | Weekend work. The main points: | Morgan Deters |
2010-11-15 | Pretty-printer infrastructure created (in src/printer) and SMT-LIBv2 printer | Morgan Deters |
2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
2010-05-25 | Added Rational constructors that only take a numerator. The const char* Ratio... | Tim King |
2010-05-06 | Adding tests for Integer::pow | Christopher L. Conway |
2010-04-08 | A handful of build system fixes: | Morgan Deters |
2010-03-26 | Added GMP backed Rational and Integer classes, and white box tests for them. ... | Tim King |