Age | Commit message (Expand) | Author |
2011-10-17 | Sharing work | Dejan Jovanović |
2011-10-13 | fix make dist | Morgan Deters |
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-06 | don't build language bindings unless expressly requested with --enable-langua... | Morgan Deters |
2011-10-05 | Reverting a fix from earlier today that fixed a Mac OS warning but completely... | Morgan Deters |
2011-10-05 | ensureLiteral() in CNF stream to support Andy's quantifiers work; an update t... | 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 | fixes to context-dependent caching substitutions | Morgan Deters |
2011-10-04 | add a guard for history saving, to enable building without GNU history library | Morgan Deters |
2011-10-04 | compatibility, bindings | Morgan Deters |
2011-10-04 | cvc3 compatibility layer; and another libantlr3c v3.4 incompatibility fix | Morgan Deters |
2011-10-04 | compat layer cleanup | Morgan Deters |
2011-10-04 | oops, one more fix, hopefully the last | Morgan Deters |
2011-10-04 | Yet Another Antlr3 Mod---this time, all my fault: for configuration auto-dete... | Morgan Deters |
2011-10-04 | Oh, here's another cute compatibility fix for libantlr3c 3.4-beta4. They #de... | Morgan Deters |
2011-10-04 | mimicking Chris's recent contribution to QueryResult in CVC3 in the compatibi... | Morgan Deters |
2011-10-04 | more fixes for libantlr3c v3.4 | Morgan Deters |
2011-10-03 | user push/pop support in minisat and simplification; also bindings work | Morgan Deters |
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 |