Age | Commit message (Expand) | Author |
2016-10-02 | Removing the throw specifiers from Cardinality. | Tim King |
2016-08-19 | Added fitsSignedLong and fitsUnsignedLong | Clark Barrett |
2016-04-03 | Updating the copyright headers and scripts. | Tim King |
2015-12-24 | Miscellaneous fixes | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2014-07-01 | Update copyrights. | Morgan Deters |
2014-04-30 | T-entailment work, and QCF (quant conflict find) work that uses it. | Tim King |
2014-04-01 | Fixing bug 552. There was a bug when integers are made using a string with a...1.3.x | Tim King |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-04-01 | Merging some cleanup work: | Morgan Deters |
2013-02-01 | merged master into branch | lianah |
2012-12-14 | Changing the rewriter to use Boute's Euclidean definition of division. | Tim King |
2012-12-10 | ported my bv-core branch from svn to git | Liana Hadarean |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-09-28 | Public interface review items: | Morgan Deters |
2012-09-25 | fix some Mac issues | Morgan Deters |
2012-08-14 | Fixes to integer wrapper classes: | Morgan Deters |
2012-08-07 | Some items from the CVC4 public interface review: | Morgan Deters |
2012-07-07 | Various fixes to documentation---typos, some incomplete documentation fixed, ... | Morgan Deters |
2012-05-18 | This commit adds TypeNode::leastCommonTypeNode(). The special case for arith... | Tim King |
2012-04-17 | Merges branches/arithmetic/atom-database r2979 through 3247 into trunk. Belo... | Tim King |
2012-03-22 | Merged updated version of the bitvector theory: | Liana Hadarean |
2012-03-01 | Partial merge from kind-backend branch, including Minisat and CNF work to | Morgan Deters |
2012-02-15 | This commit merges into trunk the branch branches/arithmetic/integers2 from r... | Tim King |
2011-11-02 | better Integer asserts when there's overflow on conversion to unsigned long /... | Morgan Deters |
2011-10-31 | fixes to assertions in GMP to match CLN behavior | Morgan Deters |
2011-09-28 | CVC4::Integer was not marked CVC4_PUBLIC, causing dynamic link errors on MacO... | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-09-02 | Partial merge of integers work; this is simple B&B and some pseudoboolean | 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-11-09 | Lemmas on demand work, push-pop, some cleanup. | Dejan Jovanović |
2010-10-04 | remove/shuffle some #include dependencies; fix some documentation; apply codi... | Morgan Deters |
2010-10-03 | file header documentation regenerated with contributors names; no code modifi... | Morgan Deters |
2010-09-20 | bitvector rewriting for the core theory and testcases | Dejan Jovanović |
2010-07-03 | With this commit come a number of changes to build system to support | Morgan Deters |
2010-07-02 | Merges the cln-test branch into the main branch. | Tim King |