Age | Commit message (Expand) | Author |
2011-10-21 | some printing and parser fixes for problems recently uncovered | Morgan Deters |
2011-10-21 | add gcc version information to Configuration, and warn when building with v4.... | Morgan Deters |
2011-10-20 | add support for QF_AUFLIA and QF_AUFLIRA logic strings in SMT inputs, for tes... | Morgan Deters |
2011-10-19 | fix configure step on Ubuntu oneiric (11.10)-- related to bug #284 | Morgan Deters |
2011-10-19 | fix bug #264: competition / other static library builds when readline isn't a... | Morgan Deters |
2011-10-19 | Adding support for QF_UFLIA to the smt2 parser. | Tim King |
2011-10-19 | Merging the branch branches/arithmetic/push-pop-support from r2247 to r2256 i... | Tim King |
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 | also add test case | Morgan Deters |
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-04 | support for configure-discovery of antlr3-3.4-beta4 | 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 | forgot to put some things in the distro | 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 |