summaryrefslogtreecommitdiff
path: root/src/main/command_executor_portfolio.cpp
AgeCommit message (Expand)Author
2018-08-10Fix portfolio command executor for changes from #2240. (#2294)Aina Niemetz
2018-06-25Updated copyright headers.Aina Niemetz
2017-07-10Merge datatype shared selectors/sygus comp 2017 branch. Modify the datatypes ...ajreynol
2017-07-07Update copyright headers.Mathias Preiner
2016-08-31Removing typeof from command_executor_portfolio.cpp.Tim King
2016-04-03Updating the copyright headers and scripts.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-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
2015-12-30Shuffling around public vs. private headersTim King
2015-12-18Modifying emptyset.h and sexpr. Adding SetLanguage.Tim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-06-08make comment preciseKshitij Bansal
2015-06-08move delete beyond ifdef CVC4_COMPETITION_MODEKshitij Bansal
2015-01-26Output solutions for synthesis conjectures with --dump-synth. Minor refactor...ajreynol
2014-10-23Parsing and infrastructure support for SMT-LIBv2.5 input and output languages.Morgan Deters
2014-10-08Some minor cleanup.Morgan Deters
2014-09-04Update command_executor_portfolio.cppKshitij Bansal
2014-09-03Work on conjecture generator : do not generalize subterms with concrete value...ajreynol
2014-08-23Unsat core printing.Morgan Deters
2014-08-23Some fixes for dump- and get-unsat-core.Morgan Deters
2014-07-01Update copyrights.Morgan Deters
2014-06-26Fix for 32-bit (esp. win32 failing build).Morgan Deters
2014-06-25Stack-size portfolio fix. If using Boost 1.50, --thread-stack=MB is now supp...Morgan Deters
2014-06-11Flush output stream after result printed in portfolio.Morgan Deters
2014-06-11Fix for competition mode + parallel.Morgan Deters
2014-06-10reverting portfolio hacklianah
2014-06-10Merging CAV14 paper bit-vector work.lianah
2014-05-27New --tear-down-incremental mode, useful for debugging and performance profil...Morgan Deters
2014-05-09Add variable ordering to ambqi. Bug fix to macros. More preparation for CASC...Andrew Reynolds
2014-02-20portfolio: add stat to track time spent waiting for interrupted threads to stopKshitij Bansal
2013-12-23Proof-checking code; fixups of segfaults and missing functionality in proof g...Morgan Deters
2013-11-12Minor portfolio fixes for some platforms.Morgan Deters
2013-09-12fix bug 534: portfolio define-fun duplicate modelKshitij Bansal
2013-09-09Fix portfolio on bug411.smt2. (get-model command should only go to last winner)Morgan Deters
2013-07-24some portfolio driver cleanupMorgan Deters
2013-07-13Fix language bindings and portfolio builds.Morgan Deters
2013-07-11Support for TPTP's TFF0 (with arithmetic)Morgan Deters
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-04-01update copyrightsMorgan Deters
2013-03-23Fix bug in portfolio executor output; fixes nightly portfolio-checking runs.Morgan Deters
2012-11-29reliable benchmark corresponding to bug468Kshitij Bansal
2012-11-28treat all get commands like getValue (send only to lastWinner)Kshitij Bansal
2012-11-27fix in CommandSequence invoke : maintain success/failure. Fixes bug 465.Kshitij Bansal
2012-11-19Run lastWinner thread for all commands. Earlier behavior was to runKshitij Bansal
2012-11-15some fixes for --threads=1Kshitij Bansal
2012-11-14Quantifiers enabled with portfolio, closing bug 423.Kshitij Bansal
2012-10-19--fallback-sequential / --no-fallback-sequential optionKshitij Bansal
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback