Age | Commit message (Expand) | Author |
2016-01-08 | Removing StatisticsRegistry's static functions current() and registerStat(). | Tim King |
2016-01-05 | Add SmtGlobals Class | Tim King |
2015-12-30 | Modified tear-down-incremental option to take an integer - the integer is the | Clark Barrett |
2015-12-30 | Shuffling around public vs. private headers | Tim King |
2015-12-18 | Modifying emptyset.h and sexpr. Adding SetLanguage. | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2015-11-23 | Freeing memory allocated for signal handling. | Tim King |
2015-10-11 | fix regression tests, support fallback mode for proofs | Kshitij Bansal |
2015-07-25 | Add option --sygus-inv-templ for synthesizing strengthening/weakening of pre/... | ajreynol |
2015-06-12 | Make sygus an output language. Parse declare-fun in sygus. Minor improvemen... | ajreynol |
2015-03-31 | fix echo command in --tear-down-incremental | Kshitij Bansal |
2015-01-30 | Generalize conflict clauses in sygus sym break, merge caches, refactor. Prep... | ajreynol |
2015-01-14 | sygus input language and benchmark | Morgan Deters |
2014-11-17 | Resource-limiting work. | Liana Hadarean |
2014-11-12 | Fix tokenization of "reset" in SMT-LIB v2.0. It's a reserved word only in 2.5. | Morgan Deters |
2014-10-23 | Parsing and infrastructure support for SMT-LIBv2.5 input and output languages. | Morgan Deters |
2014-09-30 | Merge branch '1.4.x' | Morgan Deters |
2014-09-30 | Fix improper #inclusion of private header outside library. | Morgan Deters |
2014-09-30 | Fix a command-replay bug in tear-down-incremental mode. Thanks to Christoph ... | Morgan Deters |
2014-09-30 | Proofs- and cores-related segfault fixes (mainly a usability issue), thanks C... | Morgan Deters |
2014-07-01 | Update copyrights. | Morgan Deters |
2014-06-26 | Potential fix for bug 573. | Morgan Deters |
2014-06-25 | Stack-size portfolio fix. If using Boost 1.50, --thread-stack=MB is now supp... | Morgan Deters |
2014-06-22 | QuitCommand needs "success" output for trace executor. :-(smtcomp2014-application | Morgan Deters |
2014-06-22 | Final fixes for smtcomp2014-application. | Morgan Deters |
2014-06-17 | Some reversions of recent commits re: portfolio failure. | Morgan Deters |
2014-06-17 | More application-track fixes for use with trace executor. | Morgan Deters |
2014-06-17 | Some fixes for tear-down-incremental and "success" output. | Morgan Deters |
2014-06-15 | Careful there aren't too many "success" messages with --tear-down-incremental... | Morgan Deters |
2014-06-06 | option to hide stats which are zero (off by default), also some aliases | Kshitij Bansal |
2014-06-04 | Fix usability issue with tear-down incremental mode. | Morgan Deters |
2014-05-27 | New --tear-down-incremental mode, useful for debugging and performance profil... | Morgan Deters |
2014-04-06 | fix for hiding prompt/header in shell, error-behavior options as in SMTLIB | Kshitij Bansal |
2014-03-19 | Set dumping options from (set-option..) and API more directly. | Morgan Deters |
2013-12-23 | Proof-checking code; fixups of segfaults and missing functionality in proof g... | Morgan Deters |
2013-12-22 | Fix to interactive mode determination. | Morgan Deters |
2013-11-29 | Fix portfolio compile error. | Morgan Deters |
2013-11-27 | Incremental is now on by default when using from API, off for command-line dr... | Morgan Deters |
2013-11-11 | Change exit status to be more consistent with other command-line tools: 0 suc... | Morgan Deters |
2013-08-13 | --segv-nospin is now default. | Morgan Deters |
2013-07-11 | Support for TPTP's TFF0 (with arithmetic) | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-03-26 | Make --incremental the default when running interactively | Morgan Deters |
2013-02-16 | Fix version identification for new git repository. | Morgan Deters |
2013-02-15 | prvs commit: lower warning to notice | Kshitij Bansal |
2013-02-15 | make incremental+portfolio experimental | Kshitij Bansal |
2013-02-04 | driver::totalTime statistic is now reported correctly on crashes, too | Morgan Deters |
2013-01-30 | correct output language bug with --dump-to | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |