Age | Commit message (Expand) | Author |
2017-03-18 | Fix for bug 707. | Clark Barrett |
2017-03-16 | Parsing support for SMT LIB 2.6. Minor fixes for printing datatypes. Fix for ... | ajreynol |
2017-01-08 | With reference to Bug 679, this commit integrates part of the patch proposed,... | Cristian Mattarei |
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-18 | Add support for set-logic ALL, fix compiler error in GCC 6.1 | 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-09-25 | Deleting the intermediate command singleton. | Tim King |
2016-08-31 | Removing typeof from command_executor_portfolio.cpp. | Tim King |
2016-05-27 | Removing check that is no longer valid. | Clark Barrett |
2016-05-16 | Fix memory leak in interactive_shell.cpp | Clark Barrett |
2016-04-03 | Updating the copyright headers and scripts. | Tim King |
2016-03-21 | New version of the recursive options parsing strategy. | Tim King |
2016-03-08 | Extend synthesis solver to handle single invocation with additional universal... | ajreynol |
2016-02-02 | Moving dump.*, command.*, model.*, and ite_removal.* from smt_util/ to smt/. ... | Tim King |
2016-02-01 | Removing the CVC4_NEEDS_REPLACEMENT_FUNCTIONS guard to have a simpler build p... | 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 |
2016-01-05 | Adding a new class LastExceptionBuffer for the purpose of owning the memory f... | 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-24 | Miscellaneous fixes | Tim King |
2015-12-18 | Modifying emptyset.h and sexpr. Adding SetLanguage. | Tim King |
2015-12-16 | Removing the Record iterator from the swig interface. Moving the cvc4 autogen... | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2015-12-02 | Guarding the destruction of the a linux specific variable on WIN32. | 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-08-21 | Fix bug 649 (errors to regular output channel) | 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-06-08 | make comment precise | Kshitij Bansal |
2015-06-08 | move delete beyond ifdef CVC4_COMPETITION_MODE | Kshitij Bansal |
2015-04-27 | Disambiguate namespaces in options, fix permissions | Clark Barrett |
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-26 | Output solutions for synthesis conjectures with --dump-synth. Minor refactor... | 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-10-08 | Merge branch '1.4.x' | Morgan Deters |
2014-10-08 | Some minor cleanup. | Morgan Deters |
2014-10-08 | Remove private header from public driver. | 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 |