summaryrefslogtreecommitdiff
path: root/src/main
AgeCommit message (Expand)Author
2010-11-05Moving Options fiddling to options.hChristopher L. Conway
2010-11-04competition mode implies --no-checkingMorgan Deters
2010-10-31small fix to debug segfaultsMorgan Deters
2010-10-31maximize stack limit, handle SEGV signals on an alternate signal stack, and t...Morgan Deters
2010-10-29minor fixes as a result of review of Chris's getType() rewrite; also fix some...Morgan Deters
2010-10-28Changing NodeBuilder::debugCheckType() to maybeCheckType()Christopher L. Conway
2010-10-26Cleaning up some header filesChristopher L. Conway
2010-10-25for static linking of driver binary, list libmain.a first (fixes link errors ...Morgan Deters
2010-10-24Adding unit test for InteractiveShellChristopher L. Conway
2010-10-23Adding Parser::setInput and using it in InteractiveShell (Fixes: #225)Christopher L. Conway
2010-10-22Saving state between lines in interactive mode (Fixes: #223)Christopher L. Conway
2010-10-22Using Options in ParserBuilder and InteractiveShellChristopher L. Conway
2010-10-22Merging main/getopt.cpp, main/usage.h, and smt/options.h inChristopher L. Conway
2010-10-21* Option --no-type-checking now disables type checks in SmtEngineChristopher L. Conway
2010-10-20Changing --no-early-type-checking to --no-type-checkingChristopher L. Conway
2010-10-20Adding detection of TTY vs. piped input for interactive modeChristopher L. Conway
2010-10-20Adding support for interactive modeChristopher L. Conway
2010-10-12with --stats, statistics are dumped for memouts and (normal) exceptions.Morgan Deters
2010-10-10additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp...Morgan Deters
2010-10-08* (define-fun...) now has proper type checking in non-debug buildsMorgan Deters
2010-10-07type checking for define-fun in production builds; related to (and might reso...Morgan Deters
2010-10-07SMT-LIBv2 (define-fun...) command now functional; does eager expansion at pre...Morgan Deters
2010-10-05parser and core support for SMT-LIBv2 commands get-info, set-option, get-opti...Morgan Deters
2010-10-03file header documentation regenerated with contributors names; no code modifi...Morgan Deters
2010-10-02dump statistics on abnormal output: unexpected exceptions, SEGV, ILL, memout...Morgan Deters
2010-10-01replacement implementation for clock_gettime() on mac os x, build portability...Morgan Deters
2010-09-27add workaround for systems (i.e., Mac OS X) that don't support __thread; also...ACSYS
2010-09-21remove assertion in TNode destructor and ensure all TNode methods check rc > ...Morgan Deters
2010-09-21fix statistics-registry-related memory leaksMorgan Deters
2010-09-13statistics are now printed on timeout (SIGXCPU) and SIGINT if --stats is givenMorgan Deters
2010-08-19UF theory bug fixes, code cleanup, and extra debugging output.Morgan Deters
2010-08-17Merge from "cc" branch:Morgan Deters
2010-07-06Fixed exit status for competition mode.Tim King
2010-07-06add Configuration::isCompetitionBuild() and some main driver fixesMorgan Deters
2010-07-06fix crash on command line parsingMorgan Deters
2010-07-05better exception wording, assertion-handling in multiple-exception case; reso...Morgan Deters
2010-07-03With this commit come a number of changes to build system to supportMorgan Deters
2010-07-02re-generated comment headers of source filesMorgan Deters
2010-07-02* Added white-box TheoryEngine test that tests the rewriterMorgan Deters
2010-06-30Adding documentation for --strict-parsing (Closes: #166)Christopher L. Conway
2010-06-30fix to switch fall-through; stats now off by default regardless of -d debuggi...Morgan Deters
2010-06-30* theory "tree" rewriting implemented and worksMorgan Deters
2010-06-29add --default-expr-depth=N command line parameter, expose setdepth() to publi...Morgan Deters
2010-06-22Made ~Stat() virtual. Added some additional statistics. And added some docume...Tim King
2010-06-18Merging the statistics branch into the main trunk. I'll go over how to use th...Tim King
2010-06-15fix last commit gcc options (-wunknown-pragmas ==> -Wno-unknown-pragmas)Morgan Deters
2010-06-15remove warnings about unknown #pragma GCC diagnostic on older compilersMorgan Deters
2010-06-04** Don't fear the files-changed list, almost all changes are in the **Morgan Deters
2010-06-03Implementing input from stdin (Fixes: #144)Christopher L. Conway
2010-05-27Adding NodeManager::prepareToBeDestroyed() (Fixes: #128)Christopher L. Conway
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback