summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2011-11-22More language bindings work:Morgan Deters
2011-11-16Fix "make dist". Fixes to python and ruby bindings; ruby example written. T...Morgan Deters
2011-11-16Addressed many of the concerns raised in the public interface review of CVC4 ...Morgan Deters
2011-11-16fix to build system for java bindingsMorgan Deters
2011-11-16* Applying Andy's fix for datatypes bug #286; thanks for the quick work, Andy!Morgan Deters
2011-11-15Bindings work (ocaml bindings are now sort of working); also minor cleanupMorgan Deters
2011-11-15additional minor changes to get python binding on better footingMorgan Deters
2011-11-15fixes for python language binding, added python exampleMorgan Deters
2011-11-06datatype stuff in compatibility interface implementedMorgan Deters
2011-11-05Context::ScopedPush implemented (in support of theory speculation, like upcom...Morgan Deters
2011-11-04STRING_TYPE and CONST_STRING and associate type infrastructure implemented.Morgan Deters
2011-11-02Only print a shortlist of most-commonly-used options on option processing err...Morgan Deters
2011-11-02give an option error if the user specifies --proof in a non-proof-enabled buildMorgan Deters
2011-11-02fully implement the always-check-again-after-the-output-channel-is-used fix f...Morgan Deters
2011-11-02Sometimes antlr decides to generate lexers and parsers in a different directo...Morgan Deters
2011-11-02better Integer asserts when there's overflow on conversion to unsigned long /...Morgan Deters
2011-11-01Improvements to header installation on user machines. Internally, we canMorgan Deters
2011-10-31fixes to assertions in GMP to match CLN behaviorMorgan Deters
2011-10-31Added assertions to the CLN implementation of Integer for getLong() and getUn...Tim King
2011-10-31fix to "make install"Morgan Deters
2011-10-29fix some doxygen warningsMorgan Deters
2011-10-29fix unit testsMorgan Deters
2011-10-29Support for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF command, SmtEngine::g...Morgan Deters
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback