summaryrefslogtreecommitdiff
path: root/src/main
AgeCommit message (Expand)Author
2016-09-25Deleting the intermediate command singleton.Tim King
2016-08-31Removing typeof from command_executor_portfolio.cpp.Tim King
2016-05-27Removing check that is no longer valid.Clark Barrett
2016-05-16Fix memory leak in interactive_shell.cppClark Barrett
2016-04-03Updating the copyright headers and scripts.Tim King
2016-03-21New version of the recursive options parsing strategy.Tim King
2016-03-08Extend synthesis solver to handle single invocation with additional universal...ajreynol
2016-02-02Moving dump.*, command.*, model.*, and ite_removal.* from smt_util/ to smt/. ...Tim King
2016-02-01Removing the CVC4_NEEDS_REPLACEMENT_FUNCTIONS guard to have a simpler build p...Tim King
2016-01-28Adding listeners to Options.Tim King
2016-01-08Removing StatisticsRegistry's static functions current() and registerStat().Tim King
2016-01-05Add SmtGlobals ClassTim King
2016-01-05Adding a new class LastExceptionBuffer for the purpose of owning the memory f...Tim King
2015-12-30Modified tear-down-incremental option to take an integer - the integer is theClark Barrett
2015-12-30Shuffling around public vs. private headersTim King
2015-12-24Miscellaneous fixesTim King
2015-12-18Modifying emptyset.h and sexpr. Adding SetLanguage.Tim King
2015-12-16Removing the Record iterator from the swig interface. Moving the cvc4 autogen...Tim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-12-02Guarding the destruction of the a linux specific variable on WIN32.Tim King
2015-11-23Freeing memory allocated for signal handling.Tim King
2015-10-11fix regression tests, support fallback mode for proofsKshitij Bansal
2015-08-21Fix bug 649 (errors to regular output channel)Kshitij Bansal
2015-07-25Add option --sygus-inv-templ for synthesizing strengthening/weakening of pre/...ajreynol
2015-06-12Make sygus an output language. Parse declare-fun in sygus. Minor improvemen...ajreynol
2015-06-08make comment preciseKshitij Bansal
2015-06-08move delete beyond ifdef CVC4_COMPETITION_MODEKshitij Bansal
2015-04-27Disambiguate namespaces in options, fix permissionsClark Barrett
2015-03-31fix echo command in --tear-down-incrementalKshitij Bansal
2015-01-30Generalize conflict clauses in sygus sym break, merge caches, refactor. Prep...ajreynol
2015-01-26Output solutions for synthesis conjectures with --dump-synth. Minor refactor...ajreynol
2015-01-14sygus input language and benchmarkMorgan Deters
2014-11-17Resource-limiting work.Liana Hadarean
2014-11-12Fix tokenization of "reset" in SMT-LIB v2.0. It's a reserved word only in 2.5.Morgan Deters
2014-10-23Parsing and infrastructure support for SMT-LIBv2.5 input and output languages.Morgan Deters
2014-10-08Merge branch '1.4.x'Morgan Deters
2014-10-08Some minor cleanup.Morgan Deters
2014-10-08Remove private header from public driver.Morgan Deters
2014-09-30Merge branch '1.4.x'Morgan Deters
2014-09-30Fix improper #inclusion of private header outside library.Morgan Deters
2014-09-30Fix a command-replay bug in tear-down-incremental mode. Thanks to Christoph ...Morgan Deters
2014-09-30Proofs- and cores-related segfault fixes (mainly a usability issue), thanks C...Morgan Deters
2014-09-18cvc4terminate infinite loop fixKshitij Bansal
2014-09-18cvc4terminate infinite loop fixKshitij Bansal
2014-09-04Update command_executor_portfolio.cppKshitij Bansal
2014-09-03Work on conjecture generator : do not generalize subterms with concrete value...ajreynol
2014-08-26Improved SMT-LIBv2 language support for unsat cores.Morgan Deters
2014-08-23Unsat core printing.Morgan Deters
2014-08-23Some fixes for dump- and get-unsat-core.Morgan Deters
2014-07-11fix for windows buildKshitij Bansal
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback