summaryrefslogtreecommitdiff
path: root/src/main
AgeCommit message (Expand)Author
2012-12-07Fix to portfolio buildsMorgan Deters
2012-11-29reliable benchmark corresponding to bug468Kshitij Bansal
2012-11-28fix a potential race (have failed to reproduce)Kshitij 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-27more mac fixesMorgan Deters
2012-11-27fix for some Mac buildsMorgan Deters
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-24Includes many fixes to build system for Solaris (thanks Tim!), and alsoMorgan Deters
2012-10-19Fix problem with incremental with portfolio. Fixes bug 420.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-09typoKshitij Bansal
2012-10-09bugfix: isQuantified, bugfix: flushKshitij Bansal
2012-10-09* make Model class private (as discussed at meeting today)Morgan Deters
2012-10-06* more complete support for --dump assertions:{pre,post}-PREPROCESSING-PASSMorgan Deters
2012-10-06* Clean up some options documentationMorgan Deters
2012-10-03--wait-to-join / --no-wait-to-join optionKshitij Bansal
2012-10-02* re-enable some Z3 extended commands:Morgan Deters
2012-10-01"Fix" (disable) portfolio when using quantifiersKshitij Bansal
2012-09-29Fix a few segfaults in driver.Morgan Deters
2012-09-28Some fixes to portfolioKshitij Bansal
2012-09-28Public interface review items:Morgan Deters
2012-09-27* Rename SMT parts (printer, parser) to SMT1Morgan Deters
2012-09-26The Tuesday Afternoon Catch-All Commit (TACAC):Morgan Deters
2012-09-24Fix the memout issue seen in recent nightly regressions (was due to aMorgan Deters
2012-09-22Separate public-facing and internal-facing interfaces to Statistics.Morgan Deters
2012-09-21better verbosity support (so it's sensible when the library is used via the API)Morgan Deters
2012-09-14Fix a few minor issues in options processing, improving usability, consistenc...Morgan Deters
2012-09-10list portfolio_util.h in Makefile, so it gets distributed (fixes debian build)Morgan Deters
2012-09-08Some minor changes after reviewing the portfolio "unified driver" commit.Morgan Deters
2012-09-08Single driver for both sequential and portfolioKshitij Bansal
2012-09-04Accepted some patches from the Multicore Programming Group at Imperial Colleg...Morgan Deters
2012-08-07some fixes to command and declaration tab-completion in interactive shellMorgan Deters
2012-08-06Support setting :regular-output-channel and :diagnostic-output-channel.Morgan Deters
2012-07-31Options merge. This commit:Morgan Deters
2012-07-16Support for having two SmtEngines with the same ExprManager.Morgan Deters
2012-07-09fix portfolio buildMorgan Deters
2012-07-08Bugs resolved by this commit: #314, #322, #359, #364, #365.Morgan Deters
2012-07-07Various fixes to documentation---typos, some incomplete documentation fixed, ...Morgan Deters
2012-07-06Added include unistd to main/util.cppTim King
2012-06-22TPTP: add parser for cnf and fofFrançois Bobot
2012-06-18Fixing bug 360. The driver wasn't exiting when there was an error (it just p...Morgan Deters
2012-06-14some changes to make CVC4 work nicely with trace executor for application tra...Morgan Deters
2012-06-14restore destruction of stuff in driverKshitij Bansal
2012-06-14This commit:Kshitij Bansal
2012-06-13Don't use the "inlined" feature of ANTLR 3.2, which causes a buffer overflow ...Morgan Deters
2012-06-08Merge from decision branch (till r3663)Kshitij Bansal
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback