summaryrefslogtreecommitdiff
path: root/src/main
AgeCommit message (Expand)Author
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
2014-06-26Potential fix for bug 573.Morgan Deters
2014-06-26Ignore error result when an error is squelched via command verbosity.Morgan Deters
2014-06-25Stack-size portfolio fix. If using Boost 1.50, --thread-stack=MB is now supp...Morgan Deters
2014-06-24stack-size portfolio fix. boost 1.50 now requiredMorgan Deters
2014-06-22Merge tag 'smtcomp2014-application'Morgan Deters
2014-06-22QuitCommand needs "success" output for trace executor. :-(smtcomp2014-applicationMorgan Deters
2014-06-22Final fixes for smtcomp2014-application.Morgan Deters
2014-06-21Add some missing functions in configuration and compat library.Morgan Deters
2014-06-19Better --segv-spin messages.Morgan Deters
2014-06-19Fix for mac readline.Morgan Deters
2014-06-19Some reversions of recent commits re: portfolio failure.Morgan Deters
2014-06-19More application-track fixes for use with trace executor.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback