summaryrefslogtreecommitdiff
path: root/src/util
AgeCommit message (Expand)Author
2012-03-01Partial merge from kind-backend branch, including Minisat and CNF work toMorgan Deters
2012-02-28This commit merges in branches/arithmetic/internalbb up to revision 2831. Th...Tim King
2012-02-25Refactored CnfStream to work with the bv theory Bitblaster:Liana Hadarean
2012-02-22Fixes to documentation / fixes for MacOSMorgan Deters
2012-02-21fix src/util/hash.h to specialize GNU's hash template for <uint64_t> on platf...Morgan Deters
2012-02-21don't require libboost_thread (its presence is detected at configure-time), a...Morgan Deters
2012-02-20fix "make dist"Morgan Deters
2012-02-20portfolio mergeMorgan Deters
2012-02-20By default, ONLY enable symmetry breaker ONLY for QF_UF (both SMT-LIBv1Morgan Deters
2012-02-16Last commit accidentally lacked r2778 and r2779 from integer2. I have manual...Tim King
2012-02-15This commit merges into trunk the branch branches/arithmetic/integers2 from r...Tim King
2012-02-12copyright year updated to 2012Morgan Deters
2011-12-14added minor documentation for parametric datatypes, for bug 283Andrew Reynolds
2011-11-22More language bindings work:Morgan Deters
2011-11-16Addressed many of the concerns raised in the public interface review of CVC4 ...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-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-02better Integer asserts when there's overflow on conversion to unsigned long /...Morgan 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-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-25Initialize resource limit and millisecond limit optionsKshitij Bansal
2011-10-23Implement changes from yesterday morning's meeting (10/21/2011):Morgan Deters
2011-10-21add gcc version information to Configuration, and warn when building with v4....Morgan Deters
2011-10-17Sharing workDejan Jovanović
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-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-04cvc3 compatibility layer; and another libantlr3c v3.4 incompatibility fixMorgan Deters
2011-10-03user push/pop support in minisat and simplification; also bindings workMorgan Deters
2011-09-30interfaces fixes and cleanups...and examples of each interface!Morgan Deters
2011-09-29compatibility work, documentationMorgan Deters
2011-09-29build system fixesMorgan Deters
2011-09-29some test fixesMorgan 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-23interface cleanup, java bindings workMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback