Age | Commit message (Expand) | Author |
---|---|---|
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 |