Age | Commit message (Expand) | Author |
2016-01-28 | Adding listeners to Options. | Tim King |
2014-06-11 | Some clean-up, post bv-merge. | Morgan Deters |
2014-01-02 | Update copyright year. | Morgan Deters |
2013-12-17 | some config changes: new --bsd option, readline gives warning, default build ... | Morgan Deters |
2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
2013-04-26 | FCSimplex branch merge | Tim King |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-03-19 | Remove PropositionalQuery class and all CUDD-related build stuff (and referen... | Morgan Deters |
2013-02-16 | Some cleanup and copyright updating | Morgan Deters |
2013-02-16 | Fix version identification for new git repository. | Morgan Deters |
2012-10-11 | minor changes in wording for "cvc4 --version", and point to the COPYING file ... | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-11 | Fix wording on GPL in legal notices; also remove an unnecessary source depend... | Morgan Deters |
2012-03-01 | Partial merge from kind-backend branch, including Minisat and CNF work to | Morgan Deters |
2012-02-12 | copyright year updated to 2012 | Morgan Deters |
2011-10-28 | merged the proofgen3 branch into trunk: | Liana Hadarean |
2011-10-21 | add gcc version information to Configuration, and warn when building with v4.... | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-06-30 | some things I had laying around in a directory but never got committed; minor... | Morgan Deters |
2011-04-10 | merge from replay branch | Morgan Deters |
2011-03-15 | Merge from cudd branch. This mostly just adds support for linking | Morgan Deters |
2011-02-26 | Commit to fix bug 241 (improper "using namespace std" in a header). This cau... | Morgan Deters |
2010-11-19 | add statistics support information to --show-config | Morgan Deters |
2010-10-08 | * (define-fun...) now has proper type checking in non-debug builds | Morgan Deters |
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-27 | add workaround for systems (i.e., Mac OS X) that don't support __thread; also... | ACSYS |
2010-07-29 | Adding configuration_private.h to allow inlining of configuration checks | Christopher L. Conway |