summaryrefslogtreecommitdiff
path: root/src/main/driver.cpp
AgeCommit message (Expand)Author
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-07-31Options merge. This commit:Morgan Deters
2012-07-16Support for having two SmtEngines with the same ExprManager.Morgan 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-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
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-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