| 2011-10-29 |
Morgan Deters | Support for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF... |
commit | commitdiff | tree |
| 2011-10-28 |
Morgan Deters | proof regressions |
commit | commitdiff | tree |
| 2011-10-28 |
Morgan Deters | * ability to output NodeBuilders without first converti... |
commit | commitdiff | tree |
| 2011-10-28 |
Liana Hadarean | merged the proofgen3 branch into trunk: |
commit | commitdiff | tree |
| 2011-10-28 |
Tim King | Adding a check in Polynomial::parsePolynomial to better... |
commit | commitdiff | tree |
| 2011-10-25 |
Kshitij Bansal | Initialize resource limit and millisecond limit options |
commit | commitdiff | tree |
| 2011-10-23 |
Morgan Deters | Implement changes from yesterday morning's meeting... |
commit | commitdiff | tree |
| 2011-10-21 |
Morgan Deters | some printing and parser fixes for problems recently... |
commit | commitdiff | tree |
| 2011-10-21 |
Morgan Deters | add gcc version information to Configuration, and warn... |
commit | commitdiff | tree |
| 2011-10-20 |
Morgan Deters | add support for QF_AUFLIA and QF_AUFLIRA logic strings... |
commit | commitdiff | tree |
| 2011-10-19 |
Morgan Deters | fix configure step on Ubuntu oneiric (11.10)-- related... |
commit | commitdiff | tree |
| 2011-10-19 |
Morgan Deters | fix bug #264: competition / other static library builds... |
commit | commitdiff | tree |
| 2011-10-19 |
Tim King | Adding support for QF_UFLIA to the smt2 parser. |
commit | commitdiff | tree |
| 2011-10-19 |
Tim King | Merging the branch branches/arithmetic/push-pop-support... |
commit | commitdiff | tree |
| 2011-10-17 |
Dejan Jovanović | Sharing work |
commit | commitdiff | tree |
| 2011-10-13 |
Morgan Deters | fix make dist |
commit | commitdiff | tree |
| 2011-10-13 |
Morgan Deters | Interruption, time-out, and deterministic time-out... |
commit | commitdiff | tree |
| 2011-10-07 |
Morgan Deters | Some new Datatype public functionality, as per Chris... |
commit | commitdiff | tree |
| 2011-10-06 |
Morgan Deters | don't build language bindings unless expressly requeste... |
commit | commitdiff | tree |
| 2011-10-05 |
Morgan Deters | Reverting a fix from earlier today that fixed a Mac... |
commit | commitdiff | tree |
| 2011-10-05 |
Morgan Deters | ensureLiteral() in CNF stream to support Andy's quantif... |
commit | commitdiff | tree |
| 2011-10-05 |
Morgan Deters | minor visibility fixes |
commit | commitdiff | tree |
| 2011-10-05 |
Morgan Deters | remove some debugging code that slowed down last night... |
commit | commitdiff | tree |
| 2011-10-04 |
Tim King | Disabling the variable removal hueristic by default. |
commit | commitdiff | tree |
| 2011-10-04 |
Morgan Deters | also add test case |
commit | commitdiff | tree |
| 2011-10-04 |
Morgan Deters | fixes to context-dependent caching substitutions |
commit | commitdiff | tree |
| 2011-10-04 |
Morgan Deters | add a guard for history saving, to enable building... |
commit | commitdiff | tree |
| 2011-10-04 |
Morgan Deters | compatibility, bindings |
commit | commitdiff | tree |
| 2011-10-04 |
Morgan Deters | cvc3 compatibility layer; and another libantlr3c v3... |
commit | commitdiff | tree |
| 2011-10-04 |
Morgan Deters | compat layer cleanup |
commit | commitdiff | tree |
| 2011-10-04 |
Morgan Deters | oops, one more fix, hopefully the last |
commit | commitdiff | tree |
| 2011-10-04 |
Morgan Deters | Yet Another Antlr3 Mod---this time, all my fault: for... |
commit | commitdiff | tree |
| 2011-10-04 |
Morgan Deters | Oh, here's another cute compatibility fix for libantlr3... |
commit | commitdiff | tree |
| 2011-10-04 |
Morgan Deters | mimicking Chris's recent contribution to QueryResult... |
commit | commitdiff | tree |
| 2011-10-04 |
Morgan Deters | more fixes for libantlr3c v3.4 |
commit | commitdiff | tree |
| 2011-10-04 |
Morgan Deters | support for configure-discovery of antlr3-3.4-beta4 |
commit | commitdiff | tree |
| 2011-10-03 |
Morgan Deters | user push/pop support in minisat and simplification... |
commit | commitdiff | tree |
| 2011-10-03 |
Morgan Deters | Importing Chris's recent changes to CVC3's ValidityChec... |
commit | commitdiff | tree |
| 2011-09-30 |
Morgan Deters | fix to CNF undoTranslate(), to support incrementality |
commit | commitdiff | tree |
| 2011-09-30 |
Morgan Deters | forgot to put some things in the distro |
commit | commitdiff | tree |
| 2011-09-30 |
Morgan Deters | interfaces fixes and cleanups...and examples of each... |
commit | commitdiff | tree |
| 2011-09-30 |
Morgan Deters | more push/pop infrastructure, some SAT stuff |
commit | commitdiff | tree |
| 2011-09-30 |
Morgan Deters | fixes to incremental simplification, cnf routines,... |
commit | commitdiff | tree |
| 2011-09-29 |
Morgan Deters | compatibility work, documentation |
commit | commitdiff | tree |
| 2011-09-29 |
Morgan Deters | build system fixes |
commit | commitdiff | tree |
| 2011-09-29 |
Morgan Deters | Some base infrastructure for user push/pop; a few bugfi... |
commit | commitdiff | tree |
| 2011-09-29 |
Morgan Deters | some test fixes |
commit | commitdiff | tree |
| 2011-09-28 |
Morgan Deters | another make dist fix for java compat bindings |
commit | commitdiff | tree |
| 2011-09-28 |
Morgan Deters | variety of visibility fixes (should clean up some of... |
commit | commitdiff | tree |
| 2011-09-28 |
Morgan Deters | CVC4::Integer was not marked CVC4_PUBLIC, causing dynam... |
commit | commitdiff | tree |
| 2011-09-28 |
Morgan Deters | fixes for make dist ; make install |
commit | commitdiff | tree |
| 2011-09-28 |
Morgan Deters | better fix for #281, also fix issue with command line... |
commit | commitdiff | tree |
| 2011-09-28 |
Morgan Deters | Regular expressions in shell scripts on MacOS are incon... |
commit | commitdiff | tree |
| 2011-09-28 |
Morgan Deters | removed "typename" keyword (fix to bug 280) |
commit | commitdiff | tree |
| 2011-09-27 |
Morgan Deters | more interface work; adding legacy C interface |
commit | commitdiff | tree |
| 2011-09-25 |
Morgan Deters | first crack at compatibility java interface (not built... |
commit | commitdiff | tree |
| 2011-09-24 |
Morgan Deters | Fix to building and linking for unit tests. (This... |
commit | commitdiff | tree |
| 2011-09-23 |
Morgan Deters | interface cleanup, java bindings work |
commit | commitdiff | tree |
| 2011-09-21 |
Morgan Deters | Java binding now working. Some interface types still... |
commit | commitdiff | tree |
| 2011-09-21 |
Morgan Deters | considerable bindings interface work, some improvements... |
commit | commitdiff | tree |
| 2011-09-20 |
Morgan Deters | fix build |
commit | commitdiff | tree |
| 2011-09-20 |
Morgan Deters | Merge from "swig" branch: language binding for Java... |
commit | commitdiff | tree |
| 2011-09-18 |
Morgan Deters | cleaned up the mechanism for library versioning |
commit | commitdiff | tree |
| 2011-09-17 |
Morgan Deters | --show-debug-tags and --show-trace-tags now supported... |
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | dump define-funs correctly with "--dump declarations... |
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | include example theory (former "UF-Tim") that's include... |
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | final(?) documentation fixes |
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | fix up more documentation |
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | some minor fixes to the cvc3 compatibility library... |
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | new, improved doxygen config file |
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | fix serious issue with copyright-updating script |
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | fix numerous documentation issues; doxygen complains... |
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | fix an oversight in the language printers |
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | fix debian build without breaking anything (i hope) |
commit | commitdiff | tree |
| 2011-09-15 |
Dejan Jovanović | tim's fixes for context-dependent pre-registration |
commit | commitdiff | tree |
| 2011-09-15 |
Dejan Jovanović | adding --show-debug-tags to list all available debug... |
commit | commitdiff | tree |
| 2011-09-15 |
Dejan Jovanović | additional stuff for sharing, |
commit | commitdiff | tree |
| 2011-09-07 |
Dejan Jovanović | fixes for uf/equality engine from the quantifiers branc... |
commit | commitdiff | tree |
| 2011-09-03 |
Morgan Deters | this should fix the build; doxygen documentation now... |
commit | commitdiff | tree |
| 2011-09-03 |
Morgan Deters | Disable a warning to address bug 277. (This doesn... |
commit | commitdiff | tree |
| 2011-09-03 |
Dejan Jovanović | removing an assert i forgot to remove that andy found |
commit | commitdiff | tree |
| 2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
commit | commitdiff | tree |
| 2011-09-02 |
Morgan Deters | Ensure that assignment gestures through CDMap iterators... |
commit | commitdiff | tree |
| 2011-09-02 |
Morgan Deters | Partial merge of integers work; this is simple B&B... |
commit | commitdiff | tree |
| 2011-09-02 |
Dejan Jovanović | * Changing pre-registration to be context dependent... |
commit | commitdiff | tree |
| 2011-08-30 |
Dejan Jovanović | Fixin the SAT solver for Andy. Even if a SAT lemma... |
commit | commitdiff | tree |
| 2011-08-27 |
Dejan Jovanović | Removing Theory::registerTerm() as discussed in the... |
commit | commitdiff | tree |
| 2011-08-25 |
Dejan Jovanović | Fixing the broken unit tests |
commit | commitdiff | tree |
| 2011-08-24 |
Dejan Jovanović | Simplification of the preregister and register throught... |
commit | commitdiff | tree |
| 2011-08-23 |
Dejan Jovanović | some uf cleanup |
commit | commitdiff | tree |
| 2011-08-17 |
Dejan Jovanović | new implementation of lemmas on demand |
commit | commitdiff | tree |
| 2011-07-12 |
Morgan Deters | forgot to reflect naming change in makefile. fixed |
commit | commitdiff | tree |
| 2011-07-12 |
Morgan Deters | fix bug 272, array unsoundness, and some array cleanup |
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | remove some array regressions from "make check" so... |
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | status of examples |
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | new array bugs ? |
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | fixing out of place typename (error on g++ 4.4.3-4ubuntu5) |
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | submission script |
commit | commitdiff | tree |
| 2011-07-11 |
Clark Barrett | Adding static_fact_manager |
commit | commitdiff | tree |
| 2011-07-11 |
Clark Barrett | Clark's work on array theory - can now solve all QF_AX... |
commit | commitdiff | tree |
| next |
projects / cvc5.git / shortlog