Age | Commit message (Expand) | Author |
2011-11-02 | better Integer asserts when there's overflow on conversion to unsigned long /... | Morgan Deters |
2011-10-31 | fixes to assertions in GMP to match CLN behavior | Morgan Deters |
2011-10-31 | Added assertions to the CLN implementation of Integer for getLong() and getUn... | Tim King |
2011-10-29 | Support 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-28 | merged the proofgen3 branch into trunk: | Liana Hadarean |
2011-10-25 | Initialize resource limit and millisecond limit options | Kshitij Bansal |
2011-10-23 | Implement changes from yesterday morning's meeting (10/21/2011): | Morgan Deters |
2011-10-21 | add gcc version information to Configuration, and warn when building with v4.... | Morgan Deters |
2011-10-17 | Sharing work | Dejan Jovanović |
2011-10-13 | Interruption, time-out, and deterministic time-out ("resource-out") features. | Morgan Deters |
2011-10-07 | Some new Datatype public functionality, as per Chris Conway's suggestions on ... | Morgan Deters |
2011-10-05 | minor visibility fixes | Morgan Deters |
2011-10-05 | remove some debugging code that slowed down last night's regressions | Morgan Deters |
2011-10-04 | Disabling the variable removal hueristic by default. | Tim King |
2011-10-04 | cvc3 compatibility layer; and another libantlr3c v3.4 incompatibility fix | Morgan Deters |
2011-10-03 | user push/pop support in minisat and simplification; also bindings work | Morgan Deters |
2011-09-30 | interfaces fixes and cleanups...and examples of each interface! | Morgan Deters |
2011-09-29 | compatibility work, documentation | Morgan Deters |
2011-09-29 | build system fixes | Morgan Deters |
2011-09-29 | some test fixes | Morgan Deters |
2011-09-28 | variety of visibility fixes (should clean up some of the many warnings on Mac... | Morgan Deters |
2011-09-28 | CVC4::Integer was not marked CVC4_PUBLIC, causing dynamic link errors on MacO... | Morgan Deters |
2011-09-28 | fixes for make dist ; make install | Morgan Deters |
2011-09-28 | better fix for #281, also fix issue with command line options not existing on... | Morgan Deters |
2011-09-28 | Regular expressions in shell scripts on MacOS are inconsistent... again. :-( ... | Morgan Deters |
2011-09-28 | removed "typename" keyword (fix to bug 280) | Morgan Deters |
2011-09-23 | interface cleanup, java bindings work | Morgan Deters |
2011-09-21 | Java binding now working. Some interface types still need some work (e.g. it... | Morgan Deters |
2011-09-21 | considerable bindings interface work, some improvements to build | Morgan Deters |
2011-09-20 | Merge from "swig" branch: language binding for Java is compiling and linking.... | Morgan Deters |
2011-09-17 | --show-debug-tags and --show-trace-tags now supported by Configuration API; a... | Morgan Deters |
2011-09-16 | fix numerous documentation issues; doxygen complains much less, now | Morgan Deters |
2011-09-15 | adding --show-debug-tags to list all available debug tracing tags | Dejan Jovanović |
2011-09-15 | additional stuff for sharing, | Dejan Jovanović |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-09-02 | Partial merge of integers work; this is simple B&B and some pseudoboolean | Morgan Deters |
2011-08-27 | Removing Theory::registerTerm() as discussed in the meeting. Now pre-register... | Dejan Jovanović |
2011-08-24 | Simplification of the preregister and register throught a NodeVisitor class. ... | Dejan Jovanović |
2011-07-11 | Clark's work on array theory - can now solve all QF_AX problems | Clark Barrett |
2011-07-11 | merge from symmetry branch | Morgan Deters |
2011-07-05 | updated preprocessing and rewriting input equalities into inequalities for LRA | Dejan Jovanović |
2011-06-30 | Changed the defaults for arithPivotThreshold and arithPropagateMaxLength to 1... | Tim King |
2011-06-30 | Merging the playground branch upto r1957 into trunk. | Tim King |
2011-06-30 | some things I had laying around in a directory but never got committed; minor... | Morgan Deters |
2011-06-29 | Fixed spelling mistake and documentation for --enable-variable-removal. | Tim King |
2011-06-06 | Fix for Mac OS breakage (x86 didn't crash, but probably would, eventually, on... | Morgan Deters |
2011-06-03 | fixed various bugs related to ambiguous parametric datatype constructors, par... | Andrew Reynolds |
2011-06-03 | datatypes work | Morgan Deters |
2011-06-02 | added (temporary) support for ensuring that all ambiguously typed constructor... | Andrew Reynolds |