Age | Commit message (Expand) | Author |
2018-06-25 | Updated copyright headers. | Aina Niemetz |
2017-11-03 | Sygus clean main (#1297) | Andrew Reynolds |
2017-10-10 | Add copyright information. (#1201) | Aina Niemetz |
2017-08-30 | Use thread_local instead of compiler extensions (#210) | Andres Noetzli |
2017-08-04 | Set default language to smt lib 2.6 (including as a base language for sygus),... | ajreynol |
2017-07-17 | Remove PtrCloser (#198) | Andres Noetzli |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2017-05-15 | Minor fix in safe_print function | Andres Noetzli |
2017-05-12 | Make signal handlers safer | Andres Notzli |
2016-12-14 | Switch from SMT-LIB v2.0 to v2.5 for smt2 files | Andres Notzli |
2016-12-14 | Made tear-down-incremental more like it used to be: when tear-down value | Clark Barrett |
2016-11-09 | Renaming the class PtrCloser to not cause confusion with unique_ptr. | Tim King |
2016-11-06 | Adds a C++05 version of unique_ptr. Used this to solve a garbage collection p... | Tim King |
2016-04-20 | update from the master | PaulMeng |
2016-02-02 | Moving dump.*, command.*, model.*, and ite_removal.* from smt_util/ to smt/. ... | Tim King |
2016-01-28 | Adding listeners to Options. | Tim King |
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 |