Age | Commit message (Expand) | Author |
2011-10-03 | Importing Chris's recent changes to CVC3's ValidityChecker into the compatibi... | Morgan Deters |
2011-09-30 | fix to CNF undoTranslate(), to support incrementality | Morgan Deters |
2011-09-30 | interfaces fixes and cleanups...and examples of each interface! | Morgan Deters |
2011-09-30 | more push/pop infrastructure, some SAT stuff | Morgan Deters |
2011-09-30 | fixes to incremental simplification, cnf routines, other stuff in preparation... | Morgan Deters |
2011-09-29 | compatibility work, documentation | Morgan Deters |
2011-09-29 | build system fixes | Morgan Deters |
2011-09-29 | Some base infrastructure for user push/pop; a few bugfixes to user push/pop a... | Morgan Deters |
2011-09-29 | some test fixes | Morgan Deters |
2011-09-28 | another make dist fix for java compat bindings | 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-27 | more interface work; adding legacy C interface | Morgan Deters |
2011-09-25 | first crack at compatibility java interface (not built by default) | Morgan Deters |
2011-09-24 | Fix to building and linking for unit tests. (This should fix the segfaulting... | 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 | fix 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 | dump define-funs correctly with "--dump declarations", whether the function i... | Morgan Deters |
2011-09-16 | include example theory (former "UF-Tim") that's included in the dist but not ... | Morgan Deters |
2011-09-16 | final(?) documentation fixes | Morgan Deters |
2011-09-16 | fix up more documentation | Morgan Deters |
2011-09-16 | some minor fixes to the cvc3 compatibility library and test case | Morgan Deters |
2011-09-16 | fix serious issue with copyright-updating script | Morgan Deters |
2011-09-16 | fix numerous documentation issues; doxygen complains much less, now | Morgan Deters |
2011-09-16 | fix an oversight in the language printers | Morgan Deters |
2011-09-15 | tim's fixes for context-dependent pre-registration | Dejan Jovanović |
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-07 | fixes for uf/equality engine from the quantifiers branch. mainly backtracking... | Dejan Jovanović |
2011-09-03 | Disable a warning to address bug 277. (This doesn't really resolve the issue... | Morgan Deters |
2011-09-03 | removing an assert i forgot to remove that andy found | Dejan Jovanović |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-09-02 | Ensure that assignment gestures through CDMap iterators like: | Morgan Deters |
2011-09-02 | Partial merge of integers work; this is simple B&B and some pseudoboolean | Morgan Deters |
2011-09-02 | * Changing pre-registration to be context dependent -- it is called from the ... | Dejan Jovanović |
2011-08-30 | Fixin the SAT solver for Andy. Even if a SAT lemma is added, a FULL-CHECK wil... | Dejan Jovanović |
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-08-23 | some uf cleanup | Dejan Jovanović |
2011-08-17 | new implementation of lemmas on demand | Dejan Jovanović |
2011-07-12 | fix bug 272, array unsoundness, and some array cleanup | Morgan Deters |
2011-07-11 | fixing out of place typename (error on g++ 4.4.3-4ubuntu5) | Morgan Deters |