summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2011-10-28* ability to output NodeBuilders without first converting them to Nodes---use...Morgan Deters
2011-10-28merged the proofgen3 branch into trunk:Liana Hadarean
2011-10-28Adding a check in Polynomial::parsePolynomial to better enforce the arithmeti...Tim King
2011-10-25Initialize resource limit and millisecond limit optionsKshitij Bansal
2011-10-23Implement changes from yesterday morning's meeting (10/21/2011):Morgan Deters
2011-10-21some printing and parser fixes for problems recently uncoveredMorgan Deters
2011-10-21add gcc version information to Configuration, and warn when building with v4....Morgan Deters
2011-10-20add support for QF_AUFLIA and QF_AUFLIRA logic strings in SMT inputs, for tes...Morgan Deters
2011-10-19fix bug #264: competition / other static library builds when readline isn't a...Morgan Deters
2011-10-19Adding support for QF_UFLIA to the smt2 parser.Tim King
2011-10-19Merging the branch branches/arithmetic/push-pop-support from r2247 to r2256 i...Tim King
2011-10-17Sharing workDejan Jovanović
2011-10-13fix make distMorgan Deters
2011-10-13Interruption, time-out, and deterministic time-out ("resource-out") features.Morgan Deters
2011-10-07Some new Datatype public functionality, as per Chris Conway's suggestions on ...Morgan Deters
2011-10-06don't build language bindings unless expressly requested with --enable-langua...Morgan Deters
2011-10-05Reverting a fix from earlier today that fixed a Mac OS warning but completely...Morgan Deters
2011-10-05ensureLiteral() in CNF stream to support Andy's quantifiers work; an update t...Morgan Deters
2011-10-05minor visibility fixesMorgan Deters
2011-10-05remove some debugging code that slowed down last night's regressionsMorgan Deters
2011-10-04Disabling the variable removal hueristic by default.Tim King
2011-10-04fixes to context-dependent caching substitutionsMorgan Deters
2011-10-04add a guard for history saving, to enable building without GNU history libraryMorgan Deters
2011-10-04compatibility, bindingsMorgan Deters
2011-10-04cvc3 compatibility layer; and another libantlr3c v3.4 incompatibility fixMorgan Deters
2011-10-04compat layer cleanupMorgan Deters
2011-10-04oops, one more fix, hopefully the lastMorgan Deters
2011-10-04Yet Another Antlr3 Mod---this time, all my fault: for configuration auto-dete...Morgan Deters
2011-10-04Oh, here's another cute compatibility fix for libantlr3c 3.4-beta4. They #de...Morgan Deters
2011-10-04mimicking Chris's recent contribution to QueryResult in CVC3 in the compatibi...Morgan Deters
2011-10-04more fixes for libantlr3c v3.4Morgan Deters
2011-10-03user push/pop support in minisat and simplification; also bindings workMorgan Deters
2011-10-03Importing Chris's recent changes to CVC3's ValidityChecker into the compatibi...Morgan Deters
2011-09-30fix to CNF undoTranslate(), to support incrementalityMorgan Deters
2011-09-30interfaces fixes and cleanups...and examples of each interface!Morgan Deters
2011-09-30more push/pop infrastructure, some SAT stuffMorgan Deters
2011-09-30fixes to incremental simplification, cnf routines, other stuff in preparation...Morgan Deters
2011-09-29compatibility work, documentationMorgan Deters
2011-09-29build system fixesMorgan Deters
2011-09-29Some base infrastructure for user push/pop; a few bugfixes to user push/pop a...Morgan Deters
2011-09-29some test fixesMorgan Deters
2011-09-28another make dist fix for java compat bindingsMorgan Deters
2011-09-28variety of visibility fixes (should clean up some of the many warnings on Mac...Morgan Deters
2011-09-28CVC4::Integer was not marked CVC4_PUBLIC, causing dynamic link errors on MacO...Morgan Deters
2011-09-28fixes for make dist ; make installMorgan Deters
2011-09-28better fix for #281, also fix issue with command line options not existing on...Morgan Deters
2011-09-28Regular expressions in shell scripts on MacOS are inconsistent... again. :-( ...Morgan Deters
2011-09-28removed "typename" keyword (fix to bug 280)Morgan Deters
2011-09-27more interface work; adding legacy C interfaceMorgan Deters
2011-09-25first crack at compatibility java interface (not built by default)Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback