Age | Commit message (Expand) | Author |
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-18 | cleaned up the mechanism for library versioning | 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 | new, improved doxygen config file | 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-16 | fix debian build without breaking anything (i hope) | 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 | this should fix the build; doxygen documentation now gets built in srcdir/doc... | Morgan Deters |
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-25 | Fixing the broken unit tests | 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 | forgot to reflect naming change in makefile. fixed | Morgan Deters |
2011-07-12 | fix bug 272, array unsoundness, and some array cleanup | Morgan Deters |
2011-07-11 | remove some array regressions from "make check" so nightly regressions run | Morgan Deters |
2011-07-11 | status of examples | Morgan Deters |
2011-07-11 | new array bugs ? | Morgan Deters |
2011-07-11 | fixing out of place typename (error on g++ 4.4.3-4ubuntu5) | Morgan Deters |
2011-07-11 | submission script | Morgan Deters |
2011-07-11 | Adding static_fact_manager | Clark Barrett |
2011-07-11 | Clark's work on array theory - can now solve all QF_AX problems | Clark Barrett |
2011-07-11 | fix some confusing debug output (bogus counter) | Morgan Deters |
2011-07-11 | mark the new minimized benchmark as unsat | Morgan Deters |
2011-07-11 | if running in QF_AX, equalities over terms of uninterpreted sort go to arrays... | Morgan Deters |
2011-07-11 | minimized example | Morgan Deters |