| 2011-11-01 |
Morgan Deters | Improvements to header installation on user machines...
|
commit | commitdiff | tree |
| 2011-10-31 |
Morgan Deters | fixes to assertions in GMP to match CLN behavior
|
commit | commitdiff | tree |
| 2011-10-31 |
Morgan Deters | another make distclean fix
|
commit | commitdiff | tree |
| 2011-10-31 |
Morgan Deters | fixes to "make distclean" and "make maintainerclean"
|
commit | commitdiff | tree |
| 2011-10-31 |
Morgan Deters | fix to "make install"
|
commit | commitdiff | tree |
| 2011-10-29 |
Morgan Deters | fix some doxygen warnings
|
commit | commitdiff | tree |
| 2011-10-29 |
Morgan Deters | support for proof regressions in other parts of the...
|
commit | commitdiff | tree |
| 2011-10-29 |
Morgan Deters | fix unit tests
|
commit | commitdiff | tree |
| 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 converting...
|
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-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 requested...
|
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 quantifiers...
|
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 |
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 libantlr3c...
|
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 ValidityChecker...
|
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 bugfixes...
|
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 dynamic...
|
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 inconsiste...
|
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 included...
|
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-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-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-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 |
Morgan Deters | fix some confusing debug output (bogus counter)
|
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | mark the new minimized benchmark as unsat
|
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | if running in QF_AX, equalities over terms of uninterpreted...
|
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | minimized example
|
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | array benchmarks
|
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | merge from symmetry branch
|
commit | commitdiff | tree |
| 2011-07-09 |
Morgan Deters | fix submission makefile
|
commit | commitdiff | tree |
| 2011-07-09 |
Morgan Deters | minor fixups
|
commit | commitdiff | tree |
| 2011-07-07 |
Morgan Deters | cudd-building prefs with --with-cudd / --without-cudd
|
commit | commitdiff | tree |
| 2011-06-30 |
Morgan Deters | Allow (- x) for unary minus in SMT-LIBv1, in addition...
|
commit | commitdiff | tree |
| 2011-06-30 |
Morgan Deters | only use theory registration if (1) a theory requests...
|
commit | commitdiff | tree |
| 2011-06-30 |
Morgan Deters | some things I had laying around in a directory but...
|
commit | commitdiff | tree |
| 2011-06-18 |
Morgan Deters | Some fixes inspired by Fedora 15:
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search