summaryrefslogtreecommitdiff
path: root/src/main/command_executor_portfolio.cpp
AgeCommit message (Expand)Author
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
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-10-09bugfix: isQuantified, bugfix: flushKshitij Bansal
2012-10-03--wait-to-join / --no-wait-to-join optionKshitij Bansal
2012-10-01"Fix" (disable) portfolio when using quantifiersKshitij Bansal
2012-09-28Some fixes to portfolioKshitij Bansal
2012-09-22Separate public-facing and internal-facing interfaces to Statistics.Morgan Deters
2012-09-08Some minor changes after reviewing the portfolio "unified driver" commit.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback