summaryrefslogtreecommitdiff
path: root/src/main/driver_portfolio.cpp
AgeCommit message (Expand)Author
2012-09-08Single driver for both sequential and portfolioKshitij Bansal
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-07Various fixes to documentation---typos, some incomplete documentation fixed, ...Morgan Deters
2012-06-22TPTP: add parser for cnf and fofFrançois Bobot
2012-06-14some changes to make CVC4 work nicely with trace executor for application tra...Morgan Deters
2012-06-13Don't use the "inlined" feature of ANTLR 3.2, which causes a buffer overflow ...Morgan Deters
2012-05-21main() no longer catches non-CVC4 exceptions. This means on memout and other...Morgan Deters
2012-04-25portfolio driver: respect parseOnly optionKshitij Bansal
2012-03-09Some work on the dump infrastructure to support portfolio work.Morgan Deters
2012-03-01Partial merge from kind-backend branch, including Minisat and CNF work toMorgan Deters
2012-02-29consistency in how the Dump output stream is usedMorgan Deters
2012-02-23Added ability to set a "cvc4-specific logic" in standards-compliantMorgan Deters
2012-02-20portfolio mergeMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback