summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
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
2011-09-24Fix to building and linking for unit tests. (This should fix the segfaulting...Morgan Deters
2011-09-23interface cleanup, java bindings workMorgan Deters
2011-09-21Java binding now working. Some interface types still need some work (e.g. it...Morgan Deters
2011-09-21considerable bindings interface work, some improvements to buildMorgan Deters
2011-09-20fix buildMorgan Deters
2011-09-20Merge 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-16dump define-funs correctly with "--dump declarations", whether the function i...Morgan Deters
2011-09-16include example theory (former "UF-Tim") that's included in the dist but not ...Morgan Deters
2011-09-16final(?) documentation fixesMorgan Deters
2011-09-16fix up more documentationMorgan Deters
2011-09-16some minor fixes to the cvc3 compatibility library and test caseMorgan Deters
2011-09-16fix serious issue with copyright-updating scriptMorgan Deters
2011-09-16fix numerous documentation issues; doxygen complains much less, nowMorgan Deters
2011-09-16fix an oversight in the language printersMorgan Deters
2011-09-15tim's fixes for context-dependent pre-registrationDejan Jovanović
2011-09-15adding --show-debug-tags to list all available debug tracing tagsDejan Jovanović
2011-09-15additional stuff for sharing, Dejan Jovanović
2011-09-07fixes for uf/equality engine from the quantifiers branch. mainly backtracking...Dejan Jovanović
2011-09-03Disable a warning to address bug 277. (This doesn't really resolve the issue...Morgan Deters
2011-09-03removing an assert i forgot to remove that andy foundDejan Jovanović
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-09-02Ensure that assignment gestures through CDMap iterators like:Morgan Deters
2011-09-02Partial merge of integers work; this is simple B&B and some pseudobooleanMorgan Deters
2011-09-02* Changing pre-registration to be context dependent -- it is called from the ...Dejan Jovanović
2011-08-30Fixin the SAT solver for Andy. Even if a SAT lemma is added, a FULL-CHECK wil...Dejan Jovanović
2011-08-27Removing Theory::registerTerm() as discussed in the meeting. Now pre-register...Dejan Jovanović
2011-08-24Simplification of the preregister and register throught a NodeVisitor class. ...Dejan Jovanović
2011-08-23some uf cleanupDejan Jovanović
2011-08-17new implementation of lemmas on demandDejan Jovanović
2011-07-12fix bug 272, array unsoundness, and some array cleanupMorgan Deters
2011-07-11fixing out of place typename (error on g++ 4.4.3-4ubuntu5)Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback