Age | Commit message (Expand) | Author |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-04-01 | This commit is a merge from the "betterstats" branch, which: | Morgan Deters |
2010-10-31 | small fix to debug segfaults | Morgan Deters |
2010-10-31 | maximize stack limit, handle SEGV signals on an alternate signal stack, and t... | Morgan Deters |
2010-10-22 | Merging main/getopt.cpp, main/usage.h, and smt/options.h in | Christopher L. Conway |
2010-10-10 | additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp... | Morgan Deters |
2010-10-03 | file header documentation regenerated with contributors names; no code modifi... | Morgan Deters |
2010-10-02 | dump statistics on abnormal output: unexpected exceptions, SEGV, ILL, memout... | Morgan Deters |
2010-10-01 | replacement implementation for clock_gettime() on mac os x, build portability... | Morgan Deters |
2010-09-27 | add workaround for systems (i.e., Mac OS X) that don't support __thread; also... | ACSYS |
2010-09-13 | statistics are now printed on timeout (SIGXCPU) and SIGINT if --stats is given | Morgan Deters |
2010-07-05 | better exception wording, assertion-handling in multiple-exception case; reso... | Morgan Deters |
2010-06-30 | * theory "tree" rewriting implemented and works | Morgan Deters |
2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
2010-04-01 | PARSER STUFF: | Morgan Deters |
2010-03-05 | * public/private code untangled (smt/smt_engine.h no longer #includes | Morgan Deters |
2010-02-04 | remove -*- c++ -*- emacs tag from source files (it overrides cvc4-c++-editing... | Morgan Deters |
2010-02-04 | src/expr/kind.h is now automatically generated. | Morgan Deters |
2010-02-04 | minor fix for update-copyright.pl; ran update-copyright.pl on all sources; re... | Morgan Deters |
2009-12-17 | more build system fix-ups | Morgan Deters |
2009-12-17 | update-copyright.pl now retrieves and incorporates author information from re... | Morgan Deters |
2009-12-17 | addressed some concerns raised by Clark in bug #6 (code review of driver code) | Morgan Deters |
2009-11-24 | configure option adjustments as per 11/24 meeting; various fixes and improvem... | Morgan Deters |
2009-11-23 | fixups, file comments | Morgan Deters |
2009-11-19 | testing framework, configure fixes, incorporations from meeting, continued work | Morgan Deters |
2009-11-18 | work on exprs, driver, util | Morgan Deters |