summaryrefslogtreecommitdiff
path: root/src/main
AgeCommit message (Expand)Author
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
2014-07-10Merge remote-tracking branch 'origin/master' into segfaultfixKshitij Bansal
2014-07-04initialize variablesKshitij Bansal
2014-07-01Update portfolio_util.cppKshitij Bansal
2014-07-01Update copyrights.Morgan Deters
2014-07-01chat about thread creationKshitij Bansal
2014-06-27Another fix for 32-bit (amends commit b825605).Morgan Deters
2014-06-26Merge pull request #46 from mdeters/bug573Kshitij Bansal
2014-06-26Fix for 32-bit (esp. win32 failing build).Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback